The Knowledge Complexity of Interactive Proof Systems Publication Type: Journal Article Authors: Goldwasser, S. Micali; C. Rackoff Source: SIAM J. Comput., Volume 18, Issue 1, p.186208 (1989)