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