TY  - RPRT
TI  - Termination of oblivious chase is undecidable
AU  - Tomasz Gogacz
AU  - Jerzy Marcinkowski
PY  - 2014
UR  - https://arxiv.org/abs/1401.4840
ID  - 1401.4840
ER  -