@misc{indiciaee4a8f429a2c4,
  title = {A proof for the decidability of HD0L ultimate periodicity},
  author = {Ivan Mitrofanov},
  year = {2012},
  url = {https://arxiv.org/abs/1110.4780},
  note = {Source identifier: 1110.4780}
}