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

by
Fréderic Blanqui
,
Jean-pierre Jouannaud
,
Pierre-yves Strub

Venue: | In TCS 2008: 5th IFIP International Conference on Theoretical Computer Science |

Citations: | 11 - 0 self |