Extending Decidable Cases for Rules with Existential Variables

Open in new window