Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Re-assign community