Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Open in new window