An interval constraint system for lattice domains (0)

by A J Fernandez, P M Hill
Venue:ACM Transactions on Programming Languages and Systems