History

for article: Higman's lemma