A new proof of the weak pigeonhole principle (2002)

by A Maciel, T Pitassi, A R Woods
Venue:Journal of Computer and System Sciences