Equational unification, word unification, and 2nd-order equational unification
2nd-order equational matching and unification
scientific article; zbMATH DE number 1190296