Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle | Publicación