"Beyond Iteration Vectors: Instancewise Relational Abstract Domains."

Pierre Amiranoff, Albert Cohen, Paul Feautrier (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics