Nash-Wlliams, On well-quasi-ordering finite trees (1963)

by J A
Venue:Porc. Cambrdige Phil. Soc