On IP=PSPACE and theorems with narrow proofs

by Juris Hartmanis , Richard Chang , Desh Ranjan , Pankaj Rohatgi
Venue:EATCS Bulletin
Citations:1 - 0 self