The relativized weak pigeonhole principle states that if at least 2n out of n² pigeons fly into n holes, then some hole must be doubly occupied. We prove that every DNF-refutation of the CNF encoding ...

Ljiljana Progovac, Relativized SUBJECT: Long-Distance Reflexives without Movement, Linguistic Inquiry, Vol. 23, No. 4 (Autumn, 1992), pp. 671-680 ...