"Beagle - A Hierarchic Superposition Theorem Prover."

Peter Baumgartner, Joshua Bax, Uwe Waldmann (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics