TY  - RPRT
TI  - Static Analysis for Logic-Based Dynamic Programs
AU  - Thomas Schwentick
AU  - Nils Vortmeier
AU  - Thomas Zeume
PY  - 2015
UR  - https://arxiv.org/abs/1507.04537
ID  - 1507.04537
ER  -