An application of quantum finite automata to interactive proof systems (2009)

by H Nishimura, T Yamakami
Venue:Journal of Computer and System Sciences