Miklós Ajtai László Babai Péter Hajnal János Komlós Pavel Pudlák Vojtech Rödl Endre Szemerédi György Turán 30-38 conf/stoc/STOC18 1986 STOC db/conf/stoc/stoc86.html#AjtaiBHKPRST86