Peter Baumgartner and Frieder Stolzenburg.
Constraint Model Elimination and a PTTP-Implementation.
In Baumgartner et al. [5], pages 201-216. [ bib | .pdf | Abstract ]
Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers and Logic Programming by Model Elimination Based Theorem Proving.
Proc. of the Workshop “Automated Reasoning: Bridging the Gap between Theory and Practice”, 1995.
Leeds, England. [ bib ]
Peter Baumgartner and Johann Schumann.
Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO.
Fachberichte Informatik 5-95, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1995. [ bib | .ps.gz | Abstract ]
Peter Baumgartner and Frieder Stolzenburg.
Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktion.
KI, 9(6):80-81, 1995.
Conference report. [ bib ]
Peter Baumgartner, Reiner Hähnle, and J. Posegga, editors.
Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of Lecture Notes in Artificial Intelligence. Springer, 1995. [ bib ]