@inproceedings{practical,
title = {Practical Reasoning for Expressive Description Logics},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
booktitle = {Proceedings of the 6th International Conference on Logic for Programming
and Automated Reasoning {(LPAR'99)}},
editor = {Harald Ganzinger and David McAllester and Andrei Voronkov},
month = {September},
number = {1705},
pages = {161--180},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
year = {1999},
owner = {Mauro}, timestamp = {2006.08.31},
keywords = {imported }
}
::