Lance Fortnow John Rompel Michael Sipser Errata for On the Power of Multi-Prover Interactive Protocols. 318-319 1990 Structure in Complexity Theory Conference db/conf/coco/coco90.html#FortnowRS90