A constructive proof of Higman’s lemma (1984)

by C Berghofer
Venue:SME Conference Proceedings Bethlelem