Minimum-knowledge interactive proofs for decision problems

Zvi Galil
Stuart Haber
SIAM J. Comput., 18(1989), pp. 711-739

Abstract

Research Areas