Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Barbosa, H., Blanchette, J. C., & Fontaine, P. (2017). Scalable Fine-Grained Proofs for Formula Processing. In L. de Moura (Ed.), Automated Deduction -- CADE 26 (pp. 398-412). Berlin: Springer. doi:10.1007/978-3-319-63046-5_25.