Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition With Weak Abstraction.
In Maria Paola Bonacina, editor, CADE-24 -- The 24th International Conference on Automated Deduction, volume 7898 of Lecture Notes in Artificial Intelligence, pages 39--57. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | DOI | .pdf | Abstract ]
 
Martin Diller Andreas Bauer, Peter Baumgartner and Michael Norrish.
Tableaux for Verification of Data-Centric Processes.
In Didier Galmiche and Dominique Larchey-Wendling, editors, Tableaux 2013 -- Automated Reasoning with Analytic Tableaux and Related Methods, volume 8123 of Lecture Notes in Artificial Intelligence, pages 28--43. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]
 
Peter Baumgartner and Joshua Bax.
Proving Infinite Satisfiability.
In Aart Middeldorp Ken McMillan and Andrei Voronkov, editors, Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), volume 8312 of Lecture Notes in Artificial Intelligence, pages 68--95. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]
 
Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition: Completeness without Compactness.
In Marek Kosta and Thomas Sturm, editors, MACIS 2013 --Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, pages 8--12, 2013. [ bib | .pdf | Abstract ]
 
Peter Baumgartner.
Automatische Inferenz.
In Josef Schneeberger Günther Görz and Ute Schmid, editors, Handbuch der Künstlichen Intelligenz, chapter 5, pages 129--167. Oldenbourg Verlag, 5 edition, 2013. [ bib ]