S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

J. Baget, Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms, Proc. of ICCS'03, 2003.
DOI : 10.1007/978-3-540-45091-7_16

URL : https://hal.archives-ouvertes.fr/hal-00906599

J. Baget and M. Mugnier, The Complexity of Rules and Constraints, JAIR, vol.16, pp.425-465, 2002.
URL : https://hal.archives-ouvertes.fr/lirmm-00268460

J. Baget, Improving the forward chaining algorithm for conceptual graphs rules, Proc. of KR2004), pp.407-414, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00918126

M. Chein and M. Mugnier, Conceptual Graphs: Fundamental Notions. Revue d, Intelligence Artificielle, vol.6, issue.4, pp.365-406, 1992.

M. Chein and M. Mugnier, Types and Coreference in Simple Conceptual Graphs, Proc. ICCS'04, 2004.

S. Coulondre and E. Salvat, Piece resolution: Towards larger perspectives, Proc. of ICCS'98, volume 1453 of LNAI, pp.179-193, 1998.
DOI : 10.1007/BFb0054914

G. Gottlob, N. Leone, and F. Scarcello, A comparison of structural CSP decomposition methods, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pp.394-399, 1999.
DOI : 10.1016/S0004-3702(00)00078-3

M. Mugnier, Knowledge Representation and Reasonings Based on Graph Homomorphism, Proc. ICCS'00, volume 1867 of LNAI, pp.172-192, 2000.
DOI : 10.1007/10722280_12

M. Mugnier and M. Chein, Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, pp.7-56, 1996.

E. Salvat, Theorem proving using graph operations in the conceptual graphs formalism, Proc. of ECAI'98, pp.356-360, 1998.

E. Salvat and M. Mugnier, Sound and complete forward and backward chainings of graph rules, Proc. of ICCS'96, pp.248-262, 1996.
DOI : 10.1007/3-540-61534-2_16

J. F. Sowa, On conceptual structures, Artificial Intelligence, vol.34, issue.3, 1984.
DOI : 10.1016/0004-3702(88)90069-0