Peter Baumgartner.
An Ordered Theory Resolution Calculus.
In A. Voronkov, editor, Logic Programming and Automated Reasoning (Proceedings), volume 624 of Lecture Notes in Artificial Intelligence, pages 119-130, St. Petersburg, Russia, July 1992. Springer. [ bib | .pdf | Abstract ]
 
Peter Baumgartner.
A Model Elimination Calculus with Built-in Theories.
In H.-J. Ohlbach, editor, GWAI-92 - Proceedings of the 16th German Workshop on Artificial Intelligence, volume 671 of Lecture Notes in Artificial Intelligence, pages 30-42. Springer, 1992. [ bib | .pdf | Abstract ]
 
Peter Baumgartner.
A Model Elimination Calculus with Built-In Theories.
In Fronhöfer, Hähnle, Käufl, editor, Theorem Proving with Analytic Tableaux and Related Methods, number 8/92 in Technical Report, 1992. [ bib ]
 
Peter Baumgartner.
Partial Unification for Ordered Theory Resolution.
In F. Baader, J. Siekmann, and W. Snyder, editors, 6th International Workshop on Unification. IBFI Dagstuhl, 1992.
Dagstuhl Seminar Report 42. [ bib ]
 
Peter Baumgartner.
Consolution as a Framework for Comparing Calculi.
In Fronhöfer, Hähnle, Käufl, editor, Theorem Proving with Analytic Tableaux and Related Methods, number 8/92 in Technical Report, 1992. [ bib ]
 
Peter Baumgartner, Ulrich Furbach, and Uwe Petermann.
A Unified Approach to Theory Reasoning.
Fachberichte Informatik 15/92, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1992. [ bib | .pdf | Abstract ]