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 ]