An Interval Constraint Branching Scheme for Lattice Domains | Publicación