Paul Beame Toniann Pitassi An Exponential Separation Between the Parity Principle and the Pigeonhole Principle. 195-228 1996 80 Ann. Pure Appl. Logic 3 db/journals/apal/apal80.html#BeameP96 http://dx.doi.org/10.1016/0168-0072(96)83747-X