Strong time bounds: Non-computable bounds and a hierarchy theorem
scientific article; zbMATH DE number 4137328
scientific article