1. Ahmetaj, S., Ortiz, M., Simkus, M.: Rewriting guarded existential rules into small datalog programs. In: Proceedings of the ICDT-18 (2018)
2. Ameloot, T.J., Ketsman, B., Neven, F., Zinn, D.: Datalog queries distributing over components. ACM Trans. Comput. Logic (TOCL) 18(1), 5 (2017)
3. Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: Proceedings of the KR-04, vol. 4, pp. 407–414 (2004)
4. Lecture Notes in Computer Science;J-F Baget,2015
5. Bárány, V., Ten Cate, B., Segoufin, L.: Guarded negation. J. ACM 62(3), 22 (2015)