Comparing Meseguer's Rewriting Logic with the Logic CRWL | Publicación