R. Schmidt, and D. Tishkovsky. Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, page 438--451. Berlin, Heidelberg, Springer-Verlag, (2007)
L., G. V., and P. Giordano. Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 4548 of LNAI, page 238--244. Aix En Provence, France, Springer-Verlag, (July 2007)