@article{barbosa2020,
  author    = {Haniel Barbosa and
               Jasmin Christian Blanchette and
               Mathias Fleury and
               Pascal Fontaine},
  title     = {Scalable Fine-Grained Proofs for Formula Processing},
  journal   = {J. Autom. Reason.},
  volume    = {64},
  number    = {3},
  pages     = {485--510},
  year      = {2020},
  doi       = {10.1007/s10817-018-09502-y},
}