Michael Alekhnovich Eli Ben-Sasson Alexander A. Razborov Avi Wigderson Pseudorandom Generators in Propositional Proof Complexity. 43-53 2000 FOCS db/conf/focs/focs2000.html#AlekhnovichBRW00