A New Recursion-Theoretic Characterization Of The Polytime Functions (1992)

by Stephen Bellantoni, Stephen Cook
Venue:COMPUTATIONAL COMPLEXITY