Jan Reiterman Vojtech Rödl Edita Sinajová Miroslav Tuma 193-200 1985 54 Discret. Math. 2 https://doi.org/10.1016/0012-365X(85)90080-9 db/journals/dm/dm54.html#ReitermanRST85