FerrandLT05'

BibTeX

@inproceedings{DBLP:conf/exact/FerrandLT05,
  author    = {G{\'e}rard Ferrand and
               Willy Lesaint and
               Alexandre Tessier},
  title     = {Explanations and Proof Trees},
  booktitle = {ExaCt},
  year      = {2005},
  pages     = {76-85},
  crossref  = {DBLP:conf/exact/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/exact/2005,
  editor    = {Thomas Roth-Berghofer and
               Stefan Schulz},
  title     = {Explanation-Aware Computing, Papers from the 2005 AAAI Fall
               Symposium, November 4-6, 2005, Arlington, Virginia},
  booktitle = {ExaCt},
  publisher = {AAAI Press},
  series    = {AAAI Technical Report},
  volume    = {FS-05-04},
  year      = {2005},
  isbn      = {978-1-57735-250-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}