Arthur-merlin Games: A Randomized Proof System, and a Hierarchy of Complexity classes (1988)

by L Babai
Venue:Journal of Computer and System Sciences