A compositional semantics for conditional term rewriting systems | Publicación