1. ∑11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
2. Amplification of probabilistic Boolean formulas;Boppana,1989
3. Amplification and percolation;Dubiner,1992
4. How do read-once formulae shrink?;Dubiner,1993
5. Parity, circuits and the polynomial time hierarchy;Furst;Math. Systems Theory,1984