Toniann Pitassi, Ran Raz: Regular resolution lower bounds for the weak pigeonhole principle. STOC 2001: 347-355