On well-quasi-ordering finite trees (1963)

by J A Nash-Williams
Venue:Proc. Cambridge Philos. Soc