@misc{indiciae711142f2b6c0,
  title = {Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation},
  author = {Jean-François Baget and Fabien Garreau and Marie-Laure Mugnier and Swan Rocher},
  year = {2014},
  url = {https://arxiv.org/abs/1405.1071},
  note = {Source identifier: 1405.1071}
}