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

by Kitaev, John H Watrous
Venue:In Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing