A Constructive Proof of Higman's Lemma

Chetan R. Murthy, James R. Russell

Browse the full LICS paper archive.