TY  - RPRT
TI  - Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation
AU  - Arash Karimi
AU  - Heng Zhang
AU  - Jia-Huai You
PY  - 2020
UR  - https://arxiv.org/abs/2005.05423
ID  - 2005.05423
ER  -