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.
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. ,