@inproceedings{Schlobach03b,
	title = {Explanation of Terminological Reasoning: A Preliminary Report.},
	author = {Stefan Schlobach and Ronald Cornet},
	booktitle = {Description Logics},
	crossref = {conf/dlog/2003},
	editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html\#SchlobachC03},
	volume = {81},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2acb730498382a01abaf104d60391acec/marciomr},
	description = {dblp},
	date = {2004-02-17}, ee = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/schlobach.pdf},
	keywords = {DLs debugging impresso }
}

@inproceedings{conf/dlog/SchlobachC03,
	title = {Explanation of Terminological Reasoning: A Preliminary Report.},
	author = {Stefan Schlobach and Ronald Cornet},
	booktitle = {Description Logics},
	crossref = {conf/dlog/2003},
	editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html#SchlobachC03},
	volume = {81},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2acb730498382a01abaf104d60391acec/dblp},
	description = {dblp},
	ee = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/schlobach.pdf}, date = {2004-02-17},
	keywords = {dblp }
}