@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},
owner = {mauro}, timestamp = {2007.06.26},
keywords = {imported }
}
::