@misc{indiciae3f4c0ac456d9,
  title = {Static Analysis for Logic-Based Dynamic Programs},
  author = {Thomas Schwentick and Nils Vortmeier and Thomas Zeume},
  year = {2015},
  url = {https://arxiv.org/abs/1507.04537},
  note = {Source identifier: 1507.04537}
}