TY  - RPRT
TI  - A new proof for the decidability of D0L ultimate periodicity
AU  - Vesa Halava
AU  - Tero Harju
AU  - Tomi Kärki
PY  - 2011
DO  - 10.4204/eptcs.63.20
UR  - https://arxiv.org/abs/1108.3631
ID  - 1108.3631
ER  -