Dynamic Backward Slicing of Rewriting Logic Computations | Publicación