@InProceedings{GKBW88,
author={Shafi Goldwasser and Joe Killian and
Michael Ben-Or and Avi Wigderson},
title={Multi-prover interactive proofs:
how to remove intractability assumptions},
crossref={STOC20},
booktitle={Proceeding of the 20th STOC},
pages={113-131},
year={1988},
}