A foundational delineation of poly-time (1994)

by Daniel Leivant
Venue:Information and Computation