Rewriting Logic as a Metalogical Framework | Publicación