1. M. Ayel, Protocols for consistency checking in expert system knowledge bases, in: European Conference of Artificial Intelligence, ECAI’88, 1988, pp. 220–225.
2. Extensions of simple conceptual graphs: the complexity of rules and constraints;Baget;Journal of Artificial Intelligence Research,2002
3. A. Bendou, M. Ayel, Validation of rule bases containing constraints, in: European Conference of Artificial Intelligence, ECAI’96, Workshop on Validation, Verification and Refinement of KBS, August 1996.
4. Modelling and simulating human behaviours with conceptual graphs;Bos,1997
5. F. Bouali, S. Loiseau, M.C. Rousset, Revision of rule bases, in: EUROpean conference on VAlidation and Verification of knowledge based systems, EUROVAV’97, 1997, pp. 193–201.