Scott Aaronson Greg Kuperberg Quantum Versus Classical Proofs and Advice. 129-157 2007 3 Theory of Computing 1 http://dx.doi.org/10.4086/toc.2007.v003a007 db/journals/toc/toc3.html#AaronsonK07