Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 | Publicación