A term rewriting characterization of the polytime functions and related complexity classes
Bellantoni Cook schemata of predicative recursion
scientific article; zbMATH DE number 1006567