gillies@p.cs.uiuc.edu (06/27/90)
A very technical description of the IP = PSPACE result is in ACM SigACT news, Winter 1990, p7-12.