Zhang, Heng, and Guifei Jiang. 2022. “Characterizing the Program Expressive Power of Existential Rule Languages”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5950-57. https://doi.org/10.1609/aaai.v36i5.20540.