A constructive proof of Higman's lemma | IEEE Conference Publication | IEEE Xplore