Peter Baumgartner and Michael Kühn.
Abducing Coreference by Model Construction.
Journal of Language and Computation, 1(2):175-190, 2000. [ bib | .pdf | Abstract ]
 
Chandrabose Aravindan and Peter Baumgartner.
Theorem Proving Techniques for View Deletion in Databases.
Journal of Symbolic Computation, 29(2):119-147, 2000. [ bib | .pdf | Abstract ]
 
Peter Baumgartner.
FDPLL - A First-Order Davis-Putnam-Logeman-Loveland Procedure.
In McAllester [6], pages 200-219. [ bib | DOI | .pdf | Abstract ]
 
Peter Baumgartner and Fabio Massacci.
The Taming of the (X)OR.
In Lloyd et al. [7], pages 508-522. [ bib | .ps.gz | Abstract ]
 
Peter Baumgartner and Hantao Zhang (Eds.).
FTP 2000 - Third International Workshop on First-Order Theorem Proving, St Andrews, Scotland, July 2000.
Fachberichte Informatik 5-2000, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2000. [ bib | http | Abstract ]
 
David McAllester, editor.
Automated Deduction - CADE-17, volume 1831 of Lecture Notes in Artificial Intelligence. Springer, 2000. [ bib ]
 
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors.
Computational Logic - CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence. Springer, 2000. [ bib ]
 
Peter Baumgartner, Chris Fermüller, Nicolas Peltier, and Hantao Zhang, editors.
CADE-17 Workshop on Model Computation - Principles, Algorithms, Applications, 2000.
http://www.uni-koblenz.de/peter/CADE17-WS-MODELS/. [ bib | http ]