Peter B. Andrews. Theorem Proving via General Mappings. Journal of the ACM, 28(2):193-214, 1981. [doi]
@article{Andrews81, title = {Theorem Proving via General Mappings}, author = {Peter B. Andrews}, year = {1981}, researchr = {https://researchr.org/publication/Andrews81}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {28}, number = {2}, pages = {193-214}, }