D. Calvanese, T. Eiter, and M. Ortiz. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)
V. Haarslev, and R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)
D. Tishkovsky, and R. Schmidt. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 435--448. Berlin, Heidelberg, Springer Verlag, (November 2007)