Patrick Hayden, Kevin Milner, Mark M. Wilde. Two-Message Quantum Interactive Proofs and the Quantum Separability Problem. In Proceedings of the 28th Conference on Computational Complexity, CCC 2013, K.lo Alto, California, USA, 5-7 June, 2013. pages 156-167, IEEE, 2013. [doi]
Abstract is missing.