Jürgen Lehmann. A Workbench for Model Elimination (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 46-48, 1992.
No references recorded for this publication.
No citations of this publication recorded.