TY  - RPRT
TI  - Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
AU  - Jean-François Baget
AU  - Fabien Garreau
AU  - Marie-Laure Mugnier
AU  - Swan Rocher
PY  - 2014
UR  - https://arxiv.org/abs/1405.1071
ID  - 1405.1071
ER  -