A polynomial nominal unification algorithm
scientific article; zbMATH DE number 5344351