well-quasi-ordering infinite trees (1965)

by On
Venue:Proc. Cambridge Philos. Soc. 61