B. Fefferman, Kobayashi, H., Lin, C. Yen- Yu, Morimae, T., and Nishimura, H.,
“Space-Efficient Error Reduction for Unitary Quantum Computations”,
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), vol. 55, p. 14:1--14:14, 2016.
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.