A new recursion-theoretic characterization of the polytime functions (1992)

by S Bellantoni, S Cook
Venue:Computational Complexity