%0 Journal Article %A Pinthira Tangsupphathawat %A Narong Punnim %A Vichian Laohakosol %T The positivity problem for fourth order linear recurrence sequences is decidable %J Colloquium Mathematicum %D 2012 %P 133-142 %V 128 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/cm128-1-11/ %R 10.4064/cm128-1-11 %G en %F 10_4064_cm128_1_11