Completeness of Unfolding for Rewriting Logic Theories | Publicación