Samuel R. Buss Toniann Pitassi Resolution and the Weak Pigeonhole Principle. 149-156 1997 conf/csl/1997 CSL db/conf/csl/csl97.html#BussP97 http://dx.doi.org/10.1007/BFb0028012