LampertiZ00'

@inproceedings{DBLP:conf/kr/LampertiZ00,
  author    = {Gianfranco Lamperti and
               Marina Zanella},
  title     = {Generation of Diagnostic Knowledge by Discrete-Event Model
               Compilation},
  booktitle = {KR},
  year      = {2000},
  pages     = {333-344},
  crossref  = {DBLP:conf/kr/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {KR 2000, Principles of Knowledge Representation and Reasoning
               Proceedings of the Seventh International Conference, Breckenridge,
               Colorado, USA, April 11-15, 2000},
  booktitle = {KR},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}