Interactive Proof Systems and Alternating Time-Space Complexity.

Lance Fortnow, Carsten Lund

Browse the full STACS paper archive.