S. P.  Jordan, Kobayashi, H., Nagaj, D., and Nishimura, H., ?Achieving perfect completeness in classical-witness quantum  Merlin-Arthur proof systems?, Quantum Information and Computation, vol. 12, no. 5-6, pp. 461-471, 2012.