Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
scientific article; zbMATH DE number 7628207
scientific article