An approach to declarative programming based on a rewriting logic | Publicación