Carral, D., & Urbani, J. (2020). Checking Chase Termination over Ontologies of Existential Rules with Equality. Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), 2758-2765. https://doi.org/10.1609/aaai.v34i03.5663