Nominal unification
scientific article; zbMATH DE number 2105265