A modular semantics for higher-order declarative programming with constraints | Publicación