Parametric Exploration of Rewriting Logic Computations | Publicación