László Babai Shlomo Moran Proving Properties of Interactive Proofs by a Generalized Counting Technique 185-197 Inf. Comput. August 1989 82 2 db/journals/iandc/iandc82.html#MoranB89