TY  - RPRT
TI  - A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions
AU  - Naohi Eguchi
AU  - Andreas Weiermann
PY  - 2012
UR  - https://arxiv.org/abs/1205.2879
ID  - 1205.2879
ER  -