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

by Stephen Bellantoni, Stephen A Cook
Venue:Computational Complexity