Zhang, H., & Jiang, G. (2022). Characterizing the Program Expressive Power of Existential Rule Languages. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5950-5957. https://doi.org/10.1609/aaai.v36i5.20540