Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Complexity and Expressive Power of Logic Programming