Using Unavoidable Set of Trees to Generalize Kruskal's Theorem.

Laurence Puel Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382 1989 8 J. Symb. Comput. 4 db/journals/jsc/jsc8.html#Puel89