On Well-quasi-ordering Finite Trees (1963)

by J A
Venue:Proc. Cambridge Phil. Sot