@misc{indiciae3dc6644ca35b,
  title = {Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences},
  author = {Joel Ouaknine and James Worrell},
  year = {2017},
  url = {https://arxiv.org/abs/1309.1914},
  note = {Source identifier: 1309.1914}
}