Robinson, J. A. The generalized resolution principle. (English) Zbl 0195.31102 Mach. Intell. 3, 77-93 (1968). Reviewer: G. Veenker MSC: 68V15 68Q55 PDFBibTeX XMLCite \textit{J. A. Robinson}, Mach. Intell. 3, 77--93 (1968; Zbl 0195.31102)
Slagle, James R.; Bursky, Philip Experiments with a multipurpose, theorem-proving heuristic program. (English) Zbl 0159.21202 J. Assoc. Comput. Mach. 15, 85-99 (1968). Reviewer: W. Kämmerer MSC: 68V15 PDFBibTeX XMLCite \textit{J. R. Slagle} and \textit{P. Bursky}, J. Assoc. Comput. Mach. 15, 85--99 (1968; Zbl 0159.21202) Full Text: DOI