An Interval Lattice-Based Constraint Solving Framework for Lattices | Publicación