TY  - RPRT
TI  - Semantic Acyclicity Under Constraints
AU  - Pablo Barcelo
AU  - Georg Gottlob
AU  - Andreas Pieris
PY  - 2016
UR  - https://arxiv.org/abs/1602.01366
ID  - 1602.01366
ER  -