["Hierarchical Arc Consistency Applied to Numeric Processing

in Constraint Logic Programming", G. Sidebottom et al,

TR-91-06, CSS-IS, Simon Fraser U, and Comp Intell 8(4)

(1992)].