Электронный каталог: Atserias, Albert - Lower bounds for DNF-refutations of a relativized weak pigeonhole principle