On undecidability of the weakened Kruskal’s Theorem (1987)

by M Loebl, J Matouˇsek
Venue:In Logic and Combinatorics, volume 65 of Contemporary Mathematics