Chiu Wo Choi Warwick Harvey J. H. M. Lee Peter J. Stuckey Finite Domain Bounds Consistency Revisited. 49-58 2006 conf/ausai/2006 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11941439_9 db/conf/ausai/ausai2006.html#ChoiHLS06