A proof for the decidability of HD0L ultimate periodicity - Ivan Mitrofanov (2011)