Pierre Amiranoff Albert Cohen Paul Feautrier Beyond Iteration Vectors: Instancewise Relational Abstract Domains. 161-180 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_11 db/conf/sas/sas2006.html#AmiranoffCF06