Harry B. Hunt III, Robert L. Constable, Sartaj Sahni. On the Computational Complexity of Program Scheme Equivalence. SIAM Journal on Computing, 9(2):396-416, 1980.
@article{HuntCS80,
title = {On the Computational Complexity of Program Scheme Equivalence},
author = {Harry B. Hunt III and Robert L. Constable and Sartaj Sahni},
year = {1980},
researchr = {https://researchr.org/publication/HuntCS80},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {9},
number = {2},
pages = {396-416},
}