Proving Modal Properties of Rewrite Theories Using Maude's Metalevel | Publicación