C. Pradel, O. Haemmerlé, and N. Hernandez. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 229-242. Springer, (2011)
F. Amirjavid, A. Bouzouane, and B. Bouchard. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 353-356. Springer, (2011)