@incollection{Ouaknine_2014,
    doi = {10.1007/978-3-662-43951-7_28},
    url = {https://doi.org/10.1007%2F978-3-662-43951-7_28},
    year = {2014},
    publisher = {Springer Berlin Heidelberg},
    pages = {330--341},
    author = {Joël Ouaknine and James Worrell},
    title = {Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences},
    booktitle = {Automata, Languages, and Programming}
}

@incollection{Ouaknine_2014, doi = {10.1007/978-3-662-43951-7_28}, url = {https://doi.org/10.1007%2F978-3-662-43951-7_28}, year = {2014}, publisher = {Springer Berlin Heidelberg}, pages = {330--341}, author = {Joël Ouaknine and James Worrell}, title = {Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences}, booktitle = {Automata, Languages, and Programming} }