A Single Approach to Decide Chase Termination on Linear Existential Rules.

Michel Leclre, Marie-Laure Mugnier, Michal Thomazo, Federico Ulliana

Browse the full ICDT paper archive.