@InProceedings{YRSW03,
  author =       "E. Yahav and T. Reps and M. Sagiv and R. Wilhelm",
  title =        "Verifying Temporal Heap Properties Specified via Evolution Logic",
  booktitle =    "Proc. of the 12th European Symposium on Programming, ESOP 2003",
  series =       "LNCS",
  volume =       "2618",
  year =         "2003",
  month     =    apr
}