Backward Trace Slicing for Rewriting Logic Theories | Publicación