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