Dexter Kozen Susan Landau Richard Zippel Decomposition of Algebraic Functions. 235-246 1996 22 J. Symb. Comput. 3 db/journals/jsc/jsc22.html#KozenLZ96