@misc{indiciae296f72f84362,
  title = {Derivation Lengths Classification of Gödel's T Extending Howard's Assignment},
  author = {Gunnar Wilken and Andreas Weiermann},
  year = {2012},
  doi = {10.2168/lmcs-8(1:19)2012},
  url = {https://arxiv.org/abs/1203.0115},
  note = {Source identifier: 1203.0115}
}