Unification in commutative rings is not finitary
scientific article; zbMATH DE number 4153909