Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures.
5th IFIP International Conference on Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. 273, 2008, IFIP.
〈10.1007/978-0-387-09680-3_24〉.
〈inria-00275382〉