IP = PSPACE (1990)

by A Shamir
Venue:In Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science