NejdlFS95'

@inproceedings{DBLP:conf/ijcai/NejdlFS95,
  author    = {Wolfgang Nejdl and
               Peter Fr{\"o}hlich and
               Michael Schroeder},
  title     = {A Formal Framework for Representing Diagnosis Strategies
               in Model-Based Diagnosis Systems},
  booktitle = {IJCAI},
  year      = {1995},
  pages     = {1721-1727},
  crossref  = {DBLP:conf/ijcai/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/1995,
  title     = {Proceedings of the Fourteenth International Joint Conference
               on Artificial Intelligence, IJCAI 95, Montr{\'e}al Qu{\'e}bec,
               Canada, August 20-25 1995, 2 Volumes},
  booktitle = {IJCAI},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}