Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors.
Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning, volume 45 of Journal of Automated Reasoning. Springer, August 2010.
ISSN 0168-7433 (Print) 1573-0670 (Online). [ bib | http ]

 

Peter Baumgartner and Evgenij Thorstensen.
Instance Based Methods --- A Brief Overview.
KI - Künstliche Intelligenz, 24:35--42, April 2010. [ bib | DOI | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.
Journal of Logic and Computation, 20(1):77--109, February 2010. [ bib | DOI | .pdf | Abstract ]