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 ]
 
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 ]