"The Knowledge Complexity of Interactive Proof Systems." SIAM J. Comput. 18, no. 1 (1989): 186208.