Decidability of the HD0L ultimate periodicity problem Fabien Durand RAIRO-Theor. Inf. Appl., 47 2 (2013) 201-214 Published online: 25 April 2013 DOI: 10.1051/ita/2013035