Constraint-Based Linear-Relations Analysis.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Browse the full SAS paper archive.