TY  - RPRT
TI  - Reachability-based Acyclicity Analysis by Abstract Interpretation
AU  - Samir Genaim
AU  - Damiano Zanardini
PY  - 2013
DO  - 10.1016/j.tcs.2012.12.018
UR  - https://arxiv.org/abs/1206.2188
ID  - 1206.2188
ER  -