Peter Baumgartner and Uwe Waldmann.
Hierarchic superposition with weak abstraction and the Beagle theorem prover.
In Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach, editors, Deduction and Arithmetic (Dagstuhl Seminar 13411), volume 3, Dagstuhl, Germany, 2014. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | Abstract ]

 

Peter Baumgartner.
Model Evolution Based Theorem Proving.
IEEE Intelligent Systems, 29(1):4--10, Jan.--Feb. 2014.
Copyright IEEE, http://www.ieee.org. [ bib | DOI | .pdf ]

 

Peter Baumgartner, Joshua Bax, and Uwe Waldmann.
Finite Quantification in Hierarchic Theorem Proving.
In S. Demri, D. Kapur, and C. Weidenbach, editors, IJCAR 2014, volume 8562 of LNAI, pages 152--167, Vienna, 2014. Springer Switzerland. [ bib | .pdf | Abstract ]