Ordinal recursive bounds for Higman's theorem
scientific article; zbMATH DE number 1190156
scientific article