Tangsupphathawat P., Punnim N., Laohakosol V. The positivity problem for fourth order linear recurrence sequences is decidable. Colloquium Mathematicum. Vol 128, No.1 (2012), p.133-142. doi:10.4064/cm128-1-11 Retrieved from: https://hdl.handle.net/20.500.14740/6920