Interactive Proof Systems: Provers that never Fail and Random Selection (Extended Abstract)

Oded Goldreich, Yishay Mansour, Michael Sipser. Interactive Proof Systems: Provers that never Fail and Random Selection (Extended Abstract). In 28th Annual Symposium on Foundations of Computer Science, 12-14 October 1987, Los Angeles, California, USA. pages 449-461, IEEE, 1987.

Abstract

Abstract is missing.