A Term Equality Problem Equivalent to Graph Isomorphism.

David A. Basin A Term Equality Problem Equivalent to Graph Isomorphism. 61-66 1994 51 Inf. Process. Lett. 2 db/journals/ipl/ipl51.html#Basin94