On the complexity of space bounded interactive proofs (extended abstract (1989)

by A Condon, R J Lipton
Venue:In Proceedings of the 30th IEEE Symposium on Foundations of Computer Science