Complexity bounds for some finite forms of Kruskal's theorem
scientific article; zbMATH DE number 762008