Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne | Publicación