@inproceedings{DBLP:conf/ifipTCS/BlanquiJS08,
  author    = {Fr{\'e}d{\'e}ric Blanqui and
               Jean-Pierre Jouannaud and
               Pierre-Yves Strub},
  title     = {From Formal Proofs to Mathematical Proofs: A Safe, Incremental
               Way for Building in First-order Decision Procedures},
  booktitle = {IFIP TCS},
  year      = {2008},
  pages     = {349-365},
  ee        = {http://dx.doi.org/10.1007/978-0-387-09680-3_24},
  crossref  = {DBLP:conf/ifipTCS/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifipTCS/2008,
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"a}ki and
               Giancarlo Mauri and
               C.-H. Luke Ong},
  title     = {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},
  booktitle = {IFIP TCS},
  publisher = {Springer},
  series    = {IFIP},
  volume    = {273},
  year      = {2008},
  isbn      = {978-0-387-09679-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}