Chase Termination for Guarded Existential Rules.

Marco Calautti, Georg Gottlob, Andreas Pieris

Browse the full PODS paper archive.