1. Σ11 formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
2. Multiparty protocols and logspace-hard pseudorandom sequences;Babai,1989
3. Width-3 permutation branching programs;Barrington,1985
4. Bounded-width polynomial size branching programs recognize exactly those languages in NC1;Barrington,1986
5. Some problems involving Razborov-Smolenski polynomials;Barrington,1990