@inproceedings{KaufmannFleuryBiere-FMCAD20,
  author    = {Daniela Kaufmann and
               Mathias Fleury and
               Armin Biere},
  editor    = {Ofer Strichman and Alexander Ivrii},
  title     = {The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2020.},
  pages     = {264--269},
  publisher = {{TU Wien Academic Press}},
  year      = {2020}
}