Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | Publicación