Krzysztof R. Apt Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals http://arxiv.org/abs/cs/0607016 2006 CoRR abs/cs/0607016 db/journals/corr/corr0607.html#abs-cs-0607016 informal publication