Wilfried Neitz. A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). In Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl, editors, Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. pages 59-60, 1992.
Abstract is missing.