@misc{indiciae8e95e1985f5e,
  title = {A Logic of Reachable Patterns in Linked Data-Structures},
  author = {Greta Yorsh and Alexander Rabinovich and Mooly Sagiv and Antoine Meyer and Ahmed Bouajjani},
  year = {2007},
  doi = {10.1007/11690634\_7},
  url = {https://arxiv.org/abs/0705.3610},
  note = {Source identifier: 0705.3610}
}