Selected papers that cite this one
- Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the ACM, 10(1):1-24, January 1963.
- J. A. Robinson. Theorem-proving on the computer. Journal of the ACM, 10(2):163-174, April 1963.