IP=PSPACE (1992)

by A Shamir
Venue:Journal of the Association for Computing Machinery