Ranking primitive recursions: The low Grzegorczyk classes revisited (1999)

by S J Bellantoni, K-H Niggl
Venue:SIAM Journal on Computing