Eran Yahav Thomas W. Reps Shmuel Sagiv Reinhard Wilhelm Verifying Temporal Heap Properties Specified via Evolution Logic. 204-222 2003 conf/esop/2003 ESOP http://dx.doi.org/10.1007/3-540-36575-3_15 db/conf/esop/esop2003.html#YahavRSW03