[1]
D. Carral and J. Urbani, “Checking Chase Termination over Ontologies of Existential Rules with Equality”, AAAI, vol. 34, no. 03, pp. 2758-2765, Apr. 2020.