@inproceedings{barbosa:hal-01590922, TITLE = {{Scalable Fine-Grained Proofs for Formula Processing}}, AUTHOR = {Barbosa, Haniel and Blanchette, Jasmin Christian and Fontaine, Pascal}, URL = {https://inria.hal.science/hal-01590922}, BOOKTITLE = {{Proc. Conference on Automated Deduction (CADE)}}, ADDRESS = {Gotenburg, Sweden}, EDITOR = {Leonardo de Moura}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {10395}, PAGES = {398 - 412}, YEAR = {2017}, DOI = {10.1007/978-3-642-02959-2\_10}, PDF = {https://inria.hal.science/hal-01590922/file/Barbosa2.pdf}, HAL_ID = {hal-01590922}, HAL_VERSION = {v1}, }