Does co-NP have short interactive proofs (1987)

by R B Boppana, J H˚astad, S Zachos
Venue:Inform. Proc. Lett