The undecidability of the semi-unification problem
scientific article; zbMATH DE number 165621