Well-quasi-ordering of graphs of bounded tree-width was proved in the paper [RS90a] which is lengthy and technical as it provides general machinery for the graph minor theory. A shorter direct proof ...