Harry B. Hunt III Robert L. Constable Sartaj Sahni On the Computational Complexity of Program Scheme Equivalence. 396-416 1980 9 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp9.html#HuntCS80 http://dx.doi.org/10.1137/0209031