Kowalski, Robert A proof procedure using connection graphs. (English) Zbl 0357.68097 J. Assoc. Comput. Mach. 22, 572-595 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 30 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68W99 Algorithms in computer science 05C10 Planar graphs; geometric and topological aspects of graph theory PDFBibTeX XMLCite \textit{R. Kowalski}, J. Assoc. Comput. Mach. 22, 572--595 (1975; Zbl 0357.68097) Full Text: DOI