On the complexity of space bounded interactive proofs (1989)

by A CONDON, R LADNER
Venue:In Proceedings of the 30th IEEE Symposium on Foundations of Computer Science. IEEE