From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures (0)

by F BLANQUI, J-P JOUANNAUD, P-Y STRUB
Venue:in "5th IFIP International Conference on Theoretical Computer Science - TCS 2008", Milan Italie, IFIP