Size-depth tradeoffs for algebraic formulae | IEEE Conference Publication | IEEE Xplore