Rewriting Logic as a Logic of Special Relations | Publicación