Rahul Jain Sarvagya Upadhyay John Watrous Two-message quantum interactive proofs are in PSPACE http://arxiv.org/abs/0905.1300 2009 CoRR abs/0905.1300 db/journals/corr/corr0905.html#abs-0905-1300 informal publication