Chiu Wo Choi Warwick Harvey Jimmy Ho-Man Lee Peter J. Stuckey Finite Domain Bounds Consistency Revisited http://arxiv.org/abs/cs/0412021 2004 CoRR abs/cs/0412021 db/journals/corr/corr0412.html#abs-cs-0412021 informal publication