H. Zhang, Y. Zhang, and J.-H. You, “Existential Rule Languages with Finite Chase: Complexity and Expressiveness”, AAAI, vol. 29, no. 1, Feb. 2015.