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)
S. Copty, S. Fine, S. Ur, and A. Ziv. ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 89-91. Department of Computer Science, University of Cyprus, (2004)