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