@misc{indiciaed1ed17ae15fa,
  title = {Semantic Acyclicity Under Constraints},
  author = {Pablo Barcelo and Georg Gottlob and Andreas Pieris},
  year = {2016},
  url = {https://arxiv.org/abs/1602.01366},
  note = {Source identifier: 1602.01366}
}