1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of FOL. Research Report ML-96-03. Univ. of Amsterdam (1996)
3. Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: KR 2004, pp. 407–414. AAAI Press, Menlo Park (2004)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: IJCAI 2005, pp. 364–369 (2005)
5. Baget, J.-F., Leclère, M., Mugnier, M.-L.: Walking the decidability line for rules with existential variables. In: KR 2010, pp. 466–476. AAAI Press, Menlo Park (2010)