Carral, D.; Urbani, J. Checking Chase Termination over Ontologies of Existential Rules With Equality. AAAI 2020, 34, 2758-2765.