"Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships."

Liqian Chen et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics