1. Church, Alonzo. Introduction to Mathematical Logic, Vol. I. Princeton University Press, Princeton, New Jersey, 1956.
2. Davis, Martin; Logemann, George; Loveland, Donald. A machine program for theorem proving. Comm. ACM 5 (1962), 394–397.
3. Fenichel, Robert R. Preliminary description of the Godel preprocessor. Unpublished paper, 1962.
4. Friedman, Joyce. A semi-decision procedure for the functional calculus. J. ACM 10 (1963), 1–24.
5. —, A computer program for a solvable case of the decision problem. MITRE SR-88, 1963.