Robinson, J. A. A machine-oriented logic based on the resolution principle. (English) Zbl 0139.12303 J. Assoc. Comput. Mach. 12, 23-41 (1965). PDFBibTeX XMLCite \textit{J. A. Robinson}, J. Assoc. Comput. Mach. 12, 23--41 (1965; Zbl 0139.12303) Full Text: DOI Backlinks: MO
Robinson, J. A. Theorem-proving on the computer. (English) Zbl 0109.35603 J. Assoc. Comput. Mach. 10, 163-174 (1963). PDFBibTeX XMLCite \textit{J. A. Robinson}, J. Assoc. Comput. Mach. 10, 163--174 (1963; Zbl 0109.35603) Full Text: DOI