Jin-yi Cai Anne Condon Richard J. Lipton PSPACE Is Provable by Two Provers in One Round. 183-193 1994 48 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss48.html#CaiCL94