Equational Abstractions in Rewriting Logic and Maude | Publicación