F. Baader, and R. Peñaloza. TABLEAUX '07: Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, page 11--27. Berlin, Heidelberg, Springer-Verlag, (2007)
A. Scherp, T. Franz, C. Saathoff, and S. Staab. K-CAP '09: Proceedings of the fifth international conference on Knowledge capture, page 137--144. New York, NY, USA, ACM, (2009)