@inproceedings{DBLP:conf/ifipTCS/BlanquiJS08,
  author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Jean{-}Pierre Jouannaud and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ifipTCS/BlanquiJS08.bib},
  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},
  doi = {10.1007/978-0-387-09680-3\_24},
  editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and C.{-}H. Luke Ong},
  isbn = {978-0-387-09679-7},
  pages = {349--365},
  publisher = {Springer},
  series = {{IFIP}},
  timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
  title = {From Formal Proofs to Mathematical Proofs: {A} Safe,
Incremental Way for Building in First-order Decision
Procedures},
  url = {https://doi.org/10.1007/978-0-387-09680-3\_24},
  volume = {273},
  year = {2008}
}

{"_id":"FamMReKX4SELuWFd4","bibbaseid":"blanqui-jouannaud-strub-fromformalproofstomathematicalproofsasafeincrementalwayforbuildinginfirstorderdecisionprocedures-2008","downloads":1,"creationDate":"2016-06-21T10:07:36.461Z","title":"From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures","author_short":["Blanqui, F.","Jouannaud, J.","Strub, P."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Blanqui"],"suffixes":[]},{"firstnames":["Jean-Pierre"],"propositions":[],"lastnames":["Jouannaud"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/ifipTCS/BlanquiJS08.bib","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","doi":"10.1007/978-0-387-09680-3_24","editor":[{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Ausiello"],"suffixes":[]},{"firstnames":["Juhani"],"propositions":[],"lastnames":["Karhumäki"],"suffixes":[]},{"firstnames":["Giancarlo"],"propositions":[],"lastnames":["Mauri"],"suffixes":[]},{"firstnames":["C.-H.","Luke"],"propositions":[],"lastnames":["Ong"],"suffixes":[]}],"isbn":"978-0-387-09679-7","pages":"349–365","publisher":"Springer","series":"IFIP","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","title":"From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures","url":"https://doi.org/10.1007/978-0-387-09680-3\\_24","volume":"273","year":"2008","bibtex":"@inproceedings{DBLP:conf/ifipTCS/BlanquiJS08,\n author = {Fr{\\'{e}}d{\\'{e}}ric Blanqui and\nJean{-}Pierre Jouannaud and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ifipTCS/BlanquiJS08.bib},\n booktitle = {Fifth {IFIP} International Conference On Theoretical\nComputer Science - {TCS} 2008, {IFIP} 20th World\nComputer Congress, {TC} 1, Foundations of Computer\nScience, September 7-10, 2008, Milano, Italy},\n doi = {10.1007/978-0-387-09680-3\\_24},\n editor = {Giorgio Ausiello and Juhani Karhum{\\\"{a}}ki and\nGiancarlo Mauri and C.{-}H. Luke Ong},\n isbn = {978-0-387-09679-7},\n pages = {349--365},\n publisher = {Springer},\n series = {{IFIP}},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n title = {From Formal Proofs to Mathematical Proofs: {A} Safe,\nIncremental Way for Building in First-order Decision\nProcedures},\n url = {https://doi.org/10.1007/978-0-387-09680-3\\_24},\n volume = {273},\n year = {2008}\n}\n\n","author_short":["Blanqui, F.","Jouannaud, J.","Strub, P."],"editor_short":["Ausiello, G.","Karhumäki, J.","Mauri, G.","Ong, C. L."],"key":"DBLP:conf/ifipTCS/BlanquiJS08","id":"DBLP:conf/ifipTCS/BlanquiJS08","bibbaseid":"blanqui-jouannaud-strub-fromformalproofstomathematicalproofsasafeincrementalwayforbuildinginfirstorderdecisionprocedures-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-0-387-09680-3\\_24"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":1,"html":""},"search_terms":["formal","proofs","mathematical","proofs","safe","incremental","way","building","first","order","decision","procedures","blanqui","jouannaud","strub"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}