Makanin's algorithm is not primitive recursive
scientific article; zbMATH DE number 1189636