Chetan R. Murthy, James R. Russell. A Constructive Proof of Higman s Lemma. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 257-267, IEEE Computer Society, 1990.
@inproceedings{MurthyR90, title = {A Constructive Proof of Higman s Lemma}, author = {Chetan R. Murthy and James R. Russell}, year = {1990}, researchr = {https://researchr.org/publication/MurthyR90}, cites = {0}, citedby = {0}, pages = {257-267}, booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA}, publisher = {IEEE Computer Society}, }