An interval constraint system for lattice domains | Publicación