A Workbench for Model Elimination (Abstract)

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.

Abstract

Abstract is missing.