@Article{BFNW93, author={Laszlo Babai and Lance Fortnow and Noam Nisan and Avi Wigderson}, title={BPP has subexponential time simulations unless EXPTIME has publishable proofs}, journal={Complexity Theory}, volume={3}, pages={307-318}, year={1993}, }