1. On certain insoluble problems concerning matrices;Markov;Dokl. Akad. Nauk SSSR,1947
2. Skolem's Problem — On the Border Between Decidability and Undecidability;Halava,2005
3. On the positivity problem for simple linear recurrence sequences;Ouaknine,2014
4. Ultimate positivity is decidable for simple linear recurrence sequences;Ouaknine,2014
5. On matrix powering in low dimensions;Galby,2015