Wos, Lawrence; Robinson, George Maximal models and refutation completeness: Semidecision procedures in automatic theorem proving. (English) Zbl 0283.68058 Word Probl., Decision Probl. Burnside Probl. Group Theory, Studies Logic Foundations Math. 71, 609-639 (1973). Cited in 1 ReviewCited in 9 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) PDFBibTeX XML