1. Bounded-width polynomial-size branching programs recognize exactly those languages in NC1;Barrington David A;J. Comput. System Sci.,1989
2. Computing Algebraic Formulas Using a Constant Number of Registers;Richard Cleve Michael;SIAM J. Comput.,1992