Key points are not available for this paper at this time.
How much knowledge should be communicated fir proving a theorem T?
Goldwasser et al. (Tue,) studied this question.