Using unavoidable set of trees to generalize Kruskal's theorem

From MaRDI portal
Publication:1122597