> The Knowledge Complexity Of Interactive Proof Systems > Shafi Goldwasser , Silvio Micali , and Charles Rackoff > Abstract. Usually, a proof of a theorem contains more knowledge > than the mere fact that the theorem is true.
http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf
