John Shackell Growth Estimates for Exp-Log Functions. 611-632 1990 10 J. Symb. Comput. 6 db/journals/jsc/jsc10.html#Shackell90