Existential Rule Languages with Finite Chase: Complexity and Expressiveness.

Heng Zhang, Yan Zhang, Jia-Huai You

Browse the full AAAI paper archive.