%0 Journal Article %T A proof for the decidability of HD0L ultimate periodicity %A Ivan Mitrofanov %J Mathematics %D 2011 %I arXiv %X We give a proof for the decidability of the HD0L ultimate periodicity problem. %U http://arxiv.org/abs/1110.4780v3