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.
⟨10.1007/978-0-387-09680-3_24⟩.
⟨inria-00275382⟩