László Babai Shlomo Moran Arthur-Merlin Games: A Randomized Proof System, and a Hierarchy of Complexity Classes. 254-276 1988 36 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss36.html#BabaiM88