Toniann Pitassi Ran Raz Regular resolution lower bounds for the weak pigeonhole principle. 347-355 2001 conf/stoc/2001 STOC https://doi.org/10.1145/380752.380821 db/conf/stoc/stoc2001.html#PitassiR01