Krzysztof R. Apt Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals. 429-468 2007 12 Constraints 4 http://dx.doi.org/10.1007/s10601-007-9017-9 db/journals/constraints/constraints12.html#AptZ07