TY  - RPRT
TI  - Converging to the Chase - a Tool for Finite Controllability
AU  - T. Gogacz
AU  - J. Marcinkowski
PY  - 2014
DO  - 10.1109/lics.2013.61
UR  - https://arxiv.org/abs/1204.3432
ID  - 1204.3432
ER  -