@inproceedings{HoPaSa08,
	Author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler},
	Booktitle = {ISWC 08 The International Semantic Web Conference 2008, Karlsruhe, Germany},
	Title = {Laconic and Precise Justifications in OWL},
	Year = {2008}}