Reachability-based acyclicity analysis by Abstract Interpretation | Publicación