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. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. Volume 273 of IFIP, pages 349-365, Springer, 2008. [doi]
@inproceedings{BlanquiJS08,
title = {From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures},
author = {Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub},
year = {2008},
doi = {10.1007/978-0-387-09680-3_24},
url = {http://dx.doi.org/10.1007/978-0-387-09680-3_24},
tags = {incremental},
researchr = {https://researchr.org/publication/BlanquiJS08},
cites = {0},
citedby = {0},
pages = {349-365},
booktitle = {Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy},
editor = {Giorgio Ausiello and Juhani Karhumäki and Giancarlo Mauri and C.-H. Luke Ong},
volume = {273},
series = {IFIP},
publisher = {Springer},
isbn = {978-0-387-09679-7},
}