Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description) | Publicación