An unprovable Ramsey-type theorem (1992)

by M Loebl, J Nesetril
Venue:Proceedings of the AMS