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.