@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",
}