A Verification Logic for Rewriting Logic | Publicación