Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.

Tim S. Lyon, Sebastian Rudolph

Browse the full JELIA paper archive.