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. Lisi. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 346-359. Springer, (2006)