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.