Leblanc, Hugues Proof routines for the propositional calculus. (English) Zbl 0199.00301 Notre Dame J. Formal Logic 4, 81-104 (1963). MSC: 03B05 03B35 PDFBibTeX XMLCite \textit{H. Leblanc}, Notre Dame J. Formal Logic 4, 81--104 (1963; Zbl 0199.00301) Full Text: DOI
Davis, Martin Eliminating the irrelevant from mechanical proofs. (English) Zbl 0131.01201 Proc. Symp. Appl. Math. 15, 15-30 (1963). Reviewer: W. Oberschelp MSC: 03B35 68T15 PDFBibTeX XML