Unification in permutative equational theories is undecidable
scientific article; zbMATH DE number 4120162
scientific article