PSPACE is provable by two provers in one round, manuscript (1990)

by J Cai