TY  - RPRT
TI  - A Predicative Harmonization of the Time and Provable Hierarchies
AU  - Salvatore Caporaso
PY  - 2006
UR  - https://arxiv.org/abs/cs/0609130
ID  - cs/0609130
ER  -