@article{10_4064_cm128_1_11,
     author = {Pinthira Tangsupphathawat and Narong Punnim and Vichian Laohakosol},
     title = {The positivity problem for fourth order linear recurrence sequences is decidable},
     journal = {Colloquium Mathematicum},
     pages = {133--142},
     publisher = {mathdoc},
     volume = {128},
     number = {1},
     year = {2012},
     doi = {10.4064/cm128-1-11},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/cm128-1-11/}
}