H. James Hoover Feasible Real Functions and Arithmetic Circuits. 182-204 1990 19 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp19.html#Hoover90