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 ]

 

Harald Ganzinger, editor.
Automated Deduction -- CADE-16, volume 1632 of Lecture Notes in Artificial Intelligence, Trento, Italy, 1999. Springer. [ bib ]

 

Neil Murray, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence. Springer, 1999. [ bib ]

 

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 ]

 

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, J.D. Horton, and Bruce Spencer.
Merge Path Improvements for Minimal Model Hyper Tableaux.
In Murray [3]. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Ganzinger [2], pages 329--343. [ bib | .ps.gz | Abstract ]