Walking the Decidability Line for Rules with Existential Variables.

Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier

Browse the full KR paper archive.