Fast and slow growing (a combinatorial study of unprovability (1991)

by M Loebl, J Neˇsetˇril
Venue:In Surveys in combinatorics, volume 166 of London Math. Soc. Lecture Note Ser