G. Bergman. (2016)cite arxiv:1602.00034Comment: Comments: 50 pages. Main change from version 2: Lemma 26 strengthened to include contractibility statement which in previous version was noted as "likely" in paragraph following that result. Several small typoes also corrected.
J. Kötters. Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013), volume 7735 of Lecture Notes in Computer Science, page 301-310. Springer, (2013)
L. Wei, X. Zhang, and J. Qi. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of Lecture Notes in Computer Science, page 154-164. Springer, (2010)
N. Messai, M. Devignes, A. Napoli, and M. Sma\"ıl-Tabbone. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume 5113 of Lecture Notes in Computer Science, page 189-202. Springer, (2008)
S. Kuznetsov, S. Obiedkov, and C. Roth. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 241-254. Berlin, Heidelberg, Springer-Verlag, (July 2007)
B. Ganter, and S. Rudolph. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 143-156. Springer, (2001)
P. Valtchev, and R. Missaoui. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 290-303. Springer, (2001)
A. Delteil, C. Faron, and R. Dieng. Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume 2393 of Lecture Notes in Computer Science, page 191-204. Springer, (2002)
P. Valtchev, M. Hacene, and R. Missaoui. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 282-295. Springer, (2003)