HaarslevM00'

@inproceedings{DBLP:conf/kr/HaarslevM00,
  author    = {Volker Haarslev and
               Ralf M{\"o}ller},
  title     = {Expressive ABox Reasoning with Number Restrictions, Role
               Hierarchies, and Transitively Closed Roles},
  booktitle = {KR},
  year      = {2000},
  pages     = {273-284},
  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}
}