Improved Soundness for QMA with Multiple Provers
Chicago Journal of Theoretical Computer Science, Vol 2013, No 1
Michael A. Forbes
On the Hardness of Disentanglers and Quantum de Finetti Theorems