@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}
}