Peter Baumgartner, Joshua Bax, and Uwe Waldmann.
Beagle -- A Hierarchic Superposition Theorem Prover.
In Amy P. Felty and Aart Middeldorp, editors, CADE-25 -- 25th International Conference on Automated Deduction, volume 9195 of LNAI, pages 367--377. Springer, 2015.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
SMTtoTPTP -- A Converter for Theorem Proving Formats.
In Amy Felty and Aart Middeldorp, editors, CADE-25 -- The 25th International Conference on Automated Deduction, volume 9195 of LNAI, pages 285--294. Springer, 2015.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]