"Constraint-Based Linear-Relations Analysis."

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics