M. Cheng, J. Duncan, and J. Harvey. (2012)cite arxiv:1204.2779Comment: 124 pages, 75 tables; updated references and minor editing in v.2; minor editing and two new theorems in v.3.
J. Sowa. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 54-69. Springer, (2006)