DBLP Record 'journals/corr/abs-0904-4902'

BibTeX

@article{DBLP:journals/corr/abs-0904-4902,
  author    = {Tal Lev-Ami and
               Neil Immerman and
               Thomas W. Reps and
               Mooly Sagiv and
               Siddharth Srivastava and
               Greta Yorsh},
  title     = {Simulating reachability using first-order logic with applications
               to verification of linked data structures},
  booktitle = {Logical Methods in Computer Science},
  volume    = {5},
  number    = {2},
  year      = {2009},
  ee        = {http://arxiv.org/abs/0904.4902},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}