Journal article:

Maria Luisa Bonet and Samuel R. Buss,
Abstract: We present a simplified proof that Brent/Spira restructuring of Boolean formulas can be improved to allow a Boolean formula of size~$n$ to be transformed into an equivalent log depth formula of size $O(n^\alpha)$ for arbitrary $\alpha>1$.