TY  - RPRT
TI  - A proof for the decidability of HD0L ultimate periodicity
AU  - Ivan Mitrofanov
PY  - 2012
UR  - https://arxiv.org/abs/1110.4780
ID  - 1110.4780
ER  -