@article{Horrocks99m,
	title = {{Practical Reasoning for Very Expressive Description Logics}},
	author = {I. Horrocks and U. Sattler and S. Tobies},
	journal = {Logic Journal of the IGPL},
	number = {3},
	pages = {239--263},
	volume = {8},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/vrandezo},
	keywords = {imported }
}

@article{Horrocks2000,
	title = {Practical Reasoning for Very Expressive Description Logics},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	journal = {Journal of the IGPL},
	note = {\\ \url{http://www3.oup.co.uk/igpl/Volume_08/Issue_03/} \\ \url{ps/horrocks1.ps.gz}},
	number = {3},
	pages = {239--263},
	volume = {8},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2f3465649f0f346111192bfe8f649c802/ramaz},
	owner = {Mauro}, timestamp = {2006.08.31},
	keywords = {imported }
}

@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},
	biburl = {http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/ramaz},
	owner = {Mauro}, timestamp = {2006.08.31},
	keywords = {imported }
}