1. Baget, J.F.: Improving the forward chaining algorithm for conceptual graphs rules. In: Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning. p. 407–414. KR’04, AAAI Press (2004)
2. Baget, J.F., Leclère, M., Mugnier, M.L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proceedings of the 21st International Jont Conference on Artifical Intelligence. p. 677–682. IJCAI’09, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2009)
3. Baget, J.F., Leclère, M., Mugnier, M.L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence. p. 677–682. IJCAI’09, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2009)
4. Baget, J.F., Mugnier, M.L.: Extensions of simple conceptual graphs: the complexity of rules and constraints. Journal of Artificial Intelligence Research 16, 425–465 (2002)
5. Baget, J.F., Leclère, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artificial Intelligence 175(9), 1620–1654 (2011). https://doi.org/10.1016/j.artint.2011.03.002