Agostino Cortesi Gilberto Filé Roberto Giacobazzi Catuscia Palamidessi Francesco Ranzato Complementation in Abstract Interpretation 100-117 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#CortesiFGPR95