Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Schlichtkrull, A., Blanchette, J. C., Traytel, D., & Waldmann, U. (2018). Formalizing of Bachmair and Ganzinger's Ordered Resolution Prover. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.), Automated Reasoning (pp. 89-107). Berlin: Springer. doi:10.1007/978-3-319-94205-6_7.