Greg Sidebottom William S. Havens Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. 601-623 1992 8 Computational Intelligence db/journals/ci/ci8.html#SidebottomH92