Parallelization, amplification, and exponential time simulation of quantum interactive proof system (2000)

by A Kitaev, J Watrous
Venue:In Proceedings of the 32nd ACM Symposium on Theory of Computing