On well-quasi-ordering finite trees Nash-Williams, C. St. J. A. Abstract Publication: Proceedings of the Cambridge Philosophical Society Pub Date: 1963 DOI: 10.1017/S0305004100003844 Bibcode: 1963PCPS...59..833N