An arithmetic for non-size-increasing polynomial-time computation
Non-size-increasing polynomial-time computation
scientific article; zbMATH DE number 2083401