TY - RPRT TI - Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems AU - Stephen P. Jordan AU - Hirotada Kobayashi AU - Daniel Nagaj AU - Harumichi Nishimura PY - 2012 UR - https://arxiv.org/abs/1111.5306 ID - 1111.5306 ER -