Viktor K. Sabelfeld. An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes. Theoretical Computer Science, 71(2):265-279, 1990.
@article{Sabelfeld90, title = {An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes}, author = {Viktor K. Sabelfeld}, year = {1990}, tags = {functional programming}, researchr = {https://researchr.org/publication/Sabelfeld90}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {71}, number = {2}, pages = {265-279}, }