On the Computational Complexity of Program Scheme Equivalence

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},
}