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

by Anne Condon, Richard J Lipton
Venue:In Foundations of Computer Science