Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A. (1994). A Term Equality Problem Equivalent to Graph Isomorphism. Information Processing Letters, 51(2), 61-66.