An application of quantum finite automata to interactive proof systems
scientific article; zbMATH DE number 5550301
scientific article