@inproceedings{ijcai2003,
	title = {Non-Standard Reasoning Services for the Debugging of Description
	Logic Terminologies},
	author = {S. Schlobach and R. Cornet},
	booktitle = {Proc. of IJCAI'03},
	pages = {355--360},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2e5f694babda36058d867911c3fc7dc40/ramaz},
	owner = {mauro}, timestamp = {2007.06.26},
	keywords = {imported }
}