Martin Fürer, Oded Goldreich, Yishay Mansour, Michael Sipser, Stathis Zachos. On Completeness and Soundness in Interactive Proof Systems. Advances in Computing Research, 5:429-442, 1989.
No references recorded for this publication.
No citations of this publication recorded.