Zohar Manna, Richard J. Waldinger. Special relations in automated deduction. Journal of the ACM, 33(1):1-59, 1986. [doi]
@article{MannaW86:0, title = {Special relations in automated deduction}, author = {Zohar Manna and Richard J. Waldinger}, year = {1986}, researchr = {https://researchr.org/publication/MannaW86%3A0}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {33}, number = {1}, pages = {1-59}, }