Zhang, H.; Jiang, G. Characterizing the Program Expressive Power of Existential Rule Languages. AAAI 2022, 36, 5950-5957.