The complexity of space bounded interactive proof systems (1993)

by Anne Condon
Venue:Complexity Theory: Current Research