@incollection{Barbosa2017-proofs,
  author    = {Haniel Barbosa and
               Jasmin Christian Blanchette and
               Pascal Fontaine},
  title     = {Scalable Fine-Grained Proofs for Formula Processing},
  booktitle = {Proc. Conference on Automated Deduction (CADE)},
  pages     = {398--412},
  year      = {2017},
  editor    = {Leonardo de Moura},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  publisher = {Springer},
}