Providing declarative semantics for HH extended constraint logic programs | Publicación