1. Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: Proceedings KR 2004, pp. 407–414 (2004)
2. Lecture Notes in Computer Science;J-F Baget,2015
3. Baget, J.-F., Michel, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proceedings IJCAI 2009, pp. 677–682 (2009)
4. Baget, J.-F., Mugnier, M.-L.: Extensions of simple conceptual graphs: the complexity of rules and constraints. J. Artif. Intell. Res. 16, 425–465 (2002)
5. Lecture Notes in Computer Science;C Beeri,1981