Arthur-Merlin Games: a randomized proof system and a hierarchy of complexity classes (1988)

by L Babai, S Moran
Venue:Journal of Computer and System sciences