Using conditional trace slicing for improving Maude programs | Publicación