GregoireMP06'

BibTeX

@inproceedings{DBLP:conf/ecai/GregoireMP06,
  author    = {{\'E}ric Gr{\'e}goire and
               Bertrand Mazure and
               C{\'e}dric Piette},
  title     = {Extracting MUSes},
  booktitle = {ECAI},
  year      = {2006},
  pages     = {387-391},
  crossref  = {DBLP:conf/ecai/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecai/2006,
  editor    = {Gerhard Brewka and
               Silvia Coradeschi and
               Anna Perini and
               Paolo Traverso},
  title     = {ECAI 2006, 17th European Conference on Artificial Intelligence,
               August 29 - September 1, 2006, Riva del Garda, Italy, Including
               Prestigious Applications of Intelligent Systems (PAIS 2006),
               Proceedings},
  booktitle = {ECAI},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {141},
  year      = {2006},
  isbn      = {1-58603-642-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}