Moshe Dubiner Uri Zwick Amplification by Read-Once Formulas. 15-38 1997 26 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp26.html#DubinerZ97