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

by Stephen Bellantoni, Stephen Cook
Venue:Computational Complexity