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

by Laszlo Babai, Shlomo Moran
Venue:Journal of Computer and System Sciences,