H. Zhang and G. Jiang, “Characterizing the Program Expressive Power of Existential Rule Languages”, AAAI, vol. 36, no. 5, pp. 5950-5957, Jun. 2022.