O. Kutz, J. Hastings, and T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, volume 7557 of Lecture Notes in Computer Science, page 103-111. Springer, (2012)
I. Horrocks, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, page 57-67. AAAI Press, (2006)