TY  - RPRT
TI  - All-Instances Restricted Chase Termination
AU  - Tomasz Gogacz
AU  - Jerzy Marcinkowski
AU  - Andreas Pieris
PY  - 2019
UR  - https://arxiv.org/abs/1901.03897
ID  - 1901.03897
ER  -