@article{Barbosa2020,
TITLE = {Scalable Fine-Grained Proofs for Formula Processing},
AUTHOR = {Barbosa, Haniel and Blanchette, Jasmin Christian and Fontaine, Pascal},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-018-09502-y},
PUBLISHER = {D. Reidel Pub. Co.},
ADDRESS = {Dordrecht, Holland},
YEAR = {2020},
DATE = {2020},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {64},
NUMBER = {3},
PAGES = {485--510},
}