Daniela Kaufmann, Mathias Fleury, Armin Biere. The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 264-269, IEEE, 2020. [doi]
Abstract is missing.