P. Cellier, S. Ferré, M. Ducassé, and T. Charnois. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 77-90. Springer, (2011)
B. Motik. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of Lecture Notes in Computer Science, page 10-12. Springer, (2010)
C. Lutz, F. Wolter, and M. Zakharyaschev. Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), page 3--14. Budapest, Hungary, IEEE Computer Society, (June 2008)
D. Calvanese, T. Eiter, and M. Ortiz. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus.. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)