A constructive proof of Higman’s lemma (1990)

by C R Murthy, J R Russell
Venue:In Proc. 5th IEEE Symposium on Logic in Computer Science (LICS’90