Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) | Publicación