@misc{indiciae1c39e574e43b,
  title = {Checking Chase Termination over Ontologies of Existential Rules with Equality},
  author = {David Carral and Jacopo Urbani},
  year = {2019},
  url = {https://arxiv.org/abs/1911.10981},
  note = {Source identifier: 1911.10981}
}