1. Two Lower Bounds for Branching Programs;Ajtai,1986
2. Σ11 formulae on finite structures;Ajtai;Ann. Pure Applied Logic,1983
3. Meanders, Ramsey Theory, and lower bounds for branching programs;Alon,1986
4. D. A. Barrington, “Width-3 Permutation Branching Programs,” Technical Memorandum TM-293, MIT Laboratory for Computer Science.
5. Bounded-width polynomial-size branching programs recognize exactly those languages in NC1;Barrington,1986