@misc{indiciaee33a2e1a14a2,
  title = {Inference of Field-Sensitive Reachability and Cyclicity},
  author = {Damiano Zanardini and Samir Genaim},
  year = {2014},
  url = {https://arxiv.org/abs/1306.6526},
  note = {Source identifier: 1306.6526}
}