TY - RPRT TI - Grzegorczyk sequence AU - Toshiyasu Arai PY - 2018 UR - https://arxiv.org/abs/1811.09958 ID - 1811.09958 ER -