I. Horrocks, U. Sattler, and S. Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1705, page 161--180. Springer-Verlag, (1999)
I. Horrocks, and S. Tessaris. The Semantic Web - ISWC 2002, First International
Semantic Web Conference, Sardinia, Italy, June 9-12,
2002, Proceedings, volume 2342 of Lecture Notes in Computer Science, page 177-191. Springer, (2002)