Eero Hyvönen Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach. 71-112 1992 58 Artif. Intell. 1-3 db/journals/ai/ai58.html#Hyvonen92 http://dx.doi.org/10.1016/0004-3702(92)90005-I