Agostino Cortesi Baudouin Le Charlier Sabina Rossi Reexecution-Based Analysis of Logic Programs with Delay Declarations. 395-405 2001 conf/ershov/2001 Ershov Memorial Conference http://dx.doi.org/10.1007/3-540-45575-2_39 db/conf/ershov/ershov2001.html#CortesiCR01