G.: Quantum versus classical proofs and advice (2007)

by S Aaronson, Kuperberg
Venue:Theory of Computing