On proving Higman's theorem and its extension by Kruskal intuitionistically (1997)

by W Veldman