Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

Open in new window