Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC^0 Autori: Sorin Istrail, Dejan Živković Časopis: Information Processing Letters DOI: 10.1016/0020-0190(94)00036-0