Krzysztof R. Apt, Peter Zoeteweij. An Analysis of Arithmetic Constraints on Integer Intervals. Constraints, 12(4):429-468, 2007. [doi]
@article{AptZ07, title = {An Analysis of Arithmetic Constraints on Integer Intervals}, author = {Krzysztof R. Apt and Peter Zoeteweij}, year = {2007}, doi = {10.1007/s10601-007-9017-9}, url = {http://dx.doi.org/10.1007/s10601-007-9017-9}, tags = {analysis, constraints}, researchr = {https://researchr.org/publication/AptZ07}, cites = {0}, citedby = {0}, journal = {Constraints}, volume = {12}, number = {4}, pages = {429-468}, }