• A generic, collaborative framework for internal constraint solving 

      Fernández-Leiva, Antonio José (2002)
      Esta tesis propone un esquema genérico y cooperativo para CLP(Interval(X)) donde X es cualquier dominio de computación con estructura de retículo. El esquema, que está basado en la teoría de retículos, es un enfoque general ...