Bruno Courcelle, Jean H. Gallier. Decidable Subcases of The Equivalence Problem for Recursive Program Schemes. ITA, 21(3):245-286, 1987.
@article{CourcelleG87, title = {Decidable Subcases of The Equivalence Problem for Recursive Program Schemes}, author = {Bruno Courcelle and Jean H. Gallier}, year = {1987}, researchr = {https://researchr.org/publication/CourcelleG87}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {21}, number = {3}, pages = {245-286}, }