Declarative debugging of rewriting logic specifications | Publicación