Pierre Girodias Eduard Cerny William J. Older Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. 186-203 1995 conf/cp/1995 CP db/conf/cp/cp95.html#GirodiasCO95