Chris Marriott John Watrous Quantum Arthur-Merlin games. 122-152 2005 14 Computational Complexity 2 http://dx.doi.org/10.1007/s00037-005-0194-x db/journals/cc/cc14.html#MarriottW05