Ouaknine, Joël; Worrell, James (2012). "Decision problems for linear recurrence sequences". Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17–19, 2012, Proceedings. Lecture Notes in Computer Science. Vol. 7550. Heidelberg: Springer-Verlag. pp. 21–28. doi:10.1007/978-3-642-33512-9_3. ISBN978-3-642-33511-2. MR3040104..
Ouaknine, Joël; Worrell, James (2012). "Decision problems for linear recurrence sequences". Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17–19, 2012, Proceedings. Lecture Notes in Computer Science. Vol. 7550. Heidelberg: Springer-Verlag. pp. 21–28. doi:10.1007/978-3-642-33512-9_3. ISBN978-3-642-33511-2. MR3040104..
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani (2005). "Skolem's Problem – On the Border between Decidability and Undecidability". p. 1. CiteSeerX10.1.1.155.2606.