A rewriting-based forwards semantics for Maude-NPA | Publicación