On IP=PSPACE and theorems with narrow proofs

by Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi
Venue:EATCS Bulletin