M. Ajtai, Y. Gurevich, and ;. Baget, Marco Calautti, Georg Gottlob, and Andreas Pieris. Chase termination for guarded existential rules, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, vol.175, pp.249-279, 1994.

, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, vol.48, pp.42-59, 2005.

, Irène Guessarian and Marcos Veloso Peixoto. About boundedness for some datalog and datalog neg programs, Proceedings of the TwentySixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, vol.47, pp.123-137, 1994.

. Marnette-;-bruno-marnette, Generalized schemamappings: from termination to tractability, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp.13-22, 2009.