@inproceedings{HPS09,
	Author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler},
	Booktitle = {16th Automated Reasoning Workshop (ARW 2009)},
	Title = {Computing Explanations for Entailments in Description Logic Based Ontologies},
	Year = {2009}}