@misc{indiciaef62d0dc77e9f,
  title = {Simulating reachability using first-order logic with applications to verification of linked data structures},
  author = {Tal Lev-Ami and Neil Immerman and Thomas Reps and Mooly Sagiv and Siddharth Srivastava and Greta Yorsh},
  year = {2009},
  doi = {10.2168/lmcs-5(2:12)2009},
  url = {https://arxiv.org/abs/0904.4902},
  note = {Source identifier: 0904.4902}
}