1. Two lower bounds for branching programs;Ajtai,1986
2. L. Babai, P. Pudlak, V. Rödl, And E. Szemeredi, Lower bounds to the complexity of symmetric Boolean functions, preprint.
3. Bounded width polynomial size branching programs recognize exactly those languages in NC1;Barrington,1986
4. Lower bounds on algebraic computation trees;Ben-Or,1983
5. Extremal Graph Theory;Bollobas,1976