TY  - RPRT
TI  - Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
AU  - Joel Ouaknine
AU  - James Worrell
PY  - 2017
UR  - https://arxiv.org/abs/1309.1914
ID  - 1309.1914
ER  -