Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, and Rolf Schwitter.
A Novel Architecture for Situation Awareness Systems.
In Martin Giese and Aarild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), volume 5607 of LNAI, pages 77--92. Springer, July 2009. [ bib | DOI | .pdf | Abstract ]

 

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, and Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic.
Journal of Applied Logic, 7(1):58--74, March 2009. [ bib | DOI | .pdf | Abstract ]

 

Renate Schmidt, editor.
Automated Deduction -- CADE-22, volume 5663 of Lecture Notes in Artificial Intelligence. Springer, 2009. [ bib ]

 

Peter Baumgartner and Uwe Waldmann.
Superposition and Model Evolution Combined.
In Schmidt [3], pages 17--34. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and John Slaney.
Constraint Modelling: A Challenge for Automated Reasoning.
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09), volume 556 of Workshop Proceedings, pages 4--18. CEUR, 2009. [ bib | .pdf | Abstract ]