A declarative semantics for CLP with qualification and proximity | Publicación