Samuel R. Buss, Toniann Pitassi: Resolution and the Weak Pigeonhole Principle. CSL 1997: 149-156