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

by Stephen Bellantoni, Stephen Cook
Venue:Computational Complexity