Subquadratic simulations of balanced formulae by branching programs. - Cai, Jin-Yi; Lipton, Richard J. (SIAM Journal on Computing, 1994)