V. Sklenár, M. Radvanský, and M. Dobes. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 501-504. Berlin, Heidelberg, Springer-Verlag, (July 2007)
H. van Ditmarsch, W. van der Hoek, and B. Kooi. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 45-58. Berlin, Heidelberg, Springer-Verlag, (July 2007)