G. Aissaoui, D. Genest, and S. Loiseau. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 337-350. Springer, (2003)
F. Baader. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 117-130. Springer, (2003)