@inproceedings{KaufmannFleuryBiere-FMCAD20,
  author    = {Daniela Kaufmann and Mathias Fleury and
               Armin Biere},
  editor    = {Ofer Strichman and Alexander Ivrii},
  title     = {The Proof Checkers Pacheck and Pasteque for the Practical Algebraic Calculus},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2020, September 21-24, 2020.},
  publisher = {IEEE},
  year      = {2020},
}
}
