Zhang, H.; Zhang, Y.; You, J.-H. Existential Rule Languages With Finite Chase: Complexity and Expressiveness. AAAI 2015, 29.