Stephen Bellantoni Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length. 253-268 1994 conf/lcc/1994 LCC db/conf/lcc/lcc94.html#Bellantoni94