Verifying Temporal Heap Properties Specified via Evolution Logic. - Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R. (Logic Journal of the IGPL, 2006)