Inference of Field-Sensitive Reachability and Cyclicity | Publicación