1. Proof verification and hardness of approximation problems;Arora,1992
2. Dispersers, deterministic amplification, and weak random sources;Cohen,1989
3. Approximate solutions for problems in PSPACE;Condon;SIGACT News,1995
4. Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions;Condon;Chicago J. Theoret. Computer. Sci.,1995
5. Random debaters and the hardness of approximating stochastic functions;Condon;SIAM J. Comput.,1997