@Inproceedings{EPTCS63.20,
  author    = {Halava, Vesa and Harju, Tero and K\"arki, Tomi},
  year      = {2011},
  title     = {A new proof for the decidability of D0L ultimate periodicity},
  editor    = {Ambro\v{z}, Petr and Holub, \v{S}t\v{e}p\'an and Mas\'akov\'a, Zuzana},
  booktitle = {{\rm Proceedings 8th International Conference}
               Words 2011,
               {\rm Prague, Czech Republic, 12-16th September 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {63},
  publisher = {Open Publishing Association},
  pages     = {147-151},
  doi       = {10.4204/EPTCS.63.20},
}