A rewriting logic for declarative programming | Publicación