Towards a Verification Logic for Rewriting Logic | Publicación