Peter Baumgartner and Michael Kühn.
Abductive Coreference by Model Construction.
In ICoS-1 Inference in Computational Semantics, Institute for Logic, Language and Computation, University of Amsterdam, August 1999. [ bib | .ps.gz | Abstract ]
 
Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Ganzinger [7], pages 329-343. [ bib | .ps.gz | Abstract ]
 
Peter Baumgartner, J.D. Horton, and Bruce Spencer.
Merge Path Improvements for Minimal Model Hyper Tableaux.
In Murray [6]. [ bib | .ps.gz | Abstract ]
 
Peter Baumgartner and Dorothea Schäfer.
Model Elimination with Simplification and its Application to Software Verification.
In Rudolf Berghammer and Yassine Lakhnech, editors, Tool Support for System Specification, Development, and Verification, Advances in Computer Science. Springer-Verlag Wien NewYork, 1999. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Steffen Hölldobler, editor, Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel. Kluwer, 1999. [ bib | .ps.gz | Abstract ]
 
Neil Murray, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence. Springer, 1999. [ bib ]
 
Harald Ganzinger, editor.
Automated Deduction - CADE-16, volume 1632 of Lecture Notes in Artificial Intelligence, Trento, Italy, 1999. Springer. [ bib ]