Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Baumgartner, P., Bax, J., & Waldmann, U. (2015). Beagle -- A Hierarchic Superposition Theorem Prover. In A. P. Felty, & A. Middeldorp (Eds.), Automated Deduction -- CADE-25 (pp. 367-377). Berlin: Springer. doi:10.1007/978-3-319-21401-6_25.