Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees | Publicación