A. Faatz, M. Goertz, E. Godehardt, and R. Lokaiczyk. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 296-309. Berlin, Heidelberg, Springer-Verlag, (July 2007)