TalbotA91'

BibTeX

@inproceedings{DBLP:conf/eurovav/TalbotA91,
  author    = {Stephane Talbot and
               Marc Ayel},
  title     = {Consistency and Rules Subject to Exceptions},
  booktitle = {EUROVAV},
  year      = {1991},
  pages     = {69-75},
  crossref  = {DBLP:conf/eurovav/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurovav/1991,
  editor    = {Matthew Grisoni},
  title     = {Proceedings of the European Workshop on the Verification
               and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus
               College, Cambridge, England, July 22-24, 1991},
  booktitle = {EUROVAV},
  publisher = {Logica Ltd., Cambridge, UK},
  year      = {1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}