Verification of CRWL Programs with Rewriting Logic | Publicación