@article{Apt:2007,
	author          = {K.R. Apt and P. Zoeteweij},
	title           = {An analysis of arithmetic constraints on integer intervals},
	journal         = {Constraints},
	year            = {2007},
	month           = {December},
	volume          = {12},
	number          = {4},
	pages           = {429-468},
	issn            = {1383-7133},
	url             = {http://www.st.ewi.tudelft.nl/~peterz/papers/az06.pdf},
	project         = {TRADER},
	group           = {SE}
}