Stephen Bellantoni, Stephen A. Cook
A New Recursion-Theoretic Characterization of the Polytime Functions
STOC, 1992.
@inproceedings{STOC-1992-BellantoniC, author = "Stephen Bellantoni and Stephen A. Cook", booktitle = "{Proceedings of the 24th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/129712.129740", isbn = "0-89791-511-9", pages = "283--293", publisher = "{ACM}", title = "{A New Recursion-Theoretic Characterization of the Polytime Functions}", year = 1992, }