@inproceedings{HoPaSa09b,
	Author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler},
	Booktitle = {Description {L}ogics (DL 2009)},
	Title = {Lemmas For Justifications in OWL},
	Year = {2009}}