Minimum-knowledge interactive proofs for decision problems

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

Abstract