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. doi:10.1016/0020-0190(94)00084-0.