[1] N. Robertson P. O. Seymour: Graph minors III. Planar Tree-Width. J. Combin. Theory, ser. B 36, 49-64 (1984). MR 0742386

[2] C. St. J. A. Nash-Williams: On well-quasi-ordering infinite trees. Proc. Camb. Phil. Soc. 61 (1965), 697-720. MR 0175814 | Zbl 0144.23305