IP=PSPACE (1992)

by A Shamir
Venue:Journal of the ACM