Characterizing parallel polylog time using type 2 recursions with polynomial output length (1995)

by S J Bellantoni
Venue:Logic and Computational Complexity, Springer Lecture