M. Ortiz, S. Rudolph, and M. Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), page 269-279. AAAI Press, (May 2010)
T. Eiter, M. Ortiz, and M. Simkus. Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, volume 5330 of Lecture Notes in Computer Science, page 377-390. Springer, (2008)