\begin{thebibliography}{10}

\bibitem{adamczewskibell2012}
Boris Adamczewski and Jason Bell, On vanishing coefficients of algebraic power
  series over fields of positive characteristic, {\em Invent. Math.} {\bf 187}
  (2012), 343--393.

\bibitem{adamczewski2023}
Boris Adamczewski, Alin Bostan, and Xavier Caruso, A sharper multivariate
  {C}hristol's theorem with applications to diagonals and {H}adamard products.
\newblock Arxiv preprint arXiv:2306.02640 [math.NT], 2023. Available at
  \url{https://arxiv.org/abs/2306.02640}.

\bibitem{magma1997}
Wieb Bosma, John Cannon, and Catherine Playoust, The {M}agma algebra system
  {I}: {T}he user language, {\em J. Symbolic Comput.} {\bf 24} (1997),
  235--265.

\bibitem{deluca1981}
Aldo de~Luca, A combinatorial property of the {F}ibonacci words, {\em Inf.
  Process. Lett.} {\bf 12} (1981), 193--195.

\bibitem{finch}
Steven~R. Finch, Are 0-additive sequences always regular?, {\em Amer. Math.
  Monthly} {\bf 99} (1992), 671--673.

\bibitem{fine1947}
Nathan~J. Fine, Binomial coefficients modulo a prime, {\em Amer. Math. Monthly}
  {\bf 54} (1947), 589--592.

\bibitem{hajdu2023}
Lajos Hajdu, Robert Tijdeman, and N{\'o}ra Varga, On polynomials with only
  rational roots, {\em Mathematika} {\bf 69} (2023), 867--878.

\bibitem{sumsets}
Sutasinee Kawsumarng, Tammatada Khemaratchatakumthorn, Passawan Noppakaew, and
  Prapanpong Pongsriiam, Sumsets associated with {W}ythoff sequences and
  {F}ibonacci numbers, {\em Period. Math. Hung.} {\bf 82} (2021), 98--113.

\bibitem{kimberling2019linear}
Clark Kimberling and Peter J.~C. Moses, Linear complementary equations and
  systems, {\em Fibonacci Quart.} {\bf 57} (2019), 97--111.

\bibitem{mousavi2016}
Hamoon Mousavi, Automatic theorem proving in {W}alnut.
\newblock Arxiv preprint arXiv: 1603.06017 [cs.FL], 2016. Available at
  \url{https://arxiv.org/abs/1603.06017}.

\bibitem{walnut7}
John Nicol and Markus Frohme, Deconstructing subset construction---reducing
  while determinizing.
\newblock Arxiv preprint arXiv:2505.10319 [cs.FL], 2025. Available at
  \url{https://arxiv.org/abs/2505.10319}.

\bibitem{sumsets3}
Phakhinkon~Napp Phunphayap, Prapanpong Pongsriiam, and Jeffrey Shallit, Sumsets
  associated with {B}eatty sequences, {\em Discrete Math.} {\bf 345} (2022),
  112810.

\bibitem{queneau}
Raymond Queneau, Sur les suites $s$-additives, {\em J. Comb. Theory Ser. A}
  {\bf 12} (1972), 31--71.

\bibitem{shallit2022}
Jeffrey Shallit, {\em The Logical Approach to Automatic Sequences: Exploring
  Combinatorics on Words with Walnut}, Vol. 482 of {\em London Math. Soc.
  Lecture Note Ser.}, Cambridge University Press, 2022.

\bibitem{sumsets2}
Jeffrey Shallit, Sumsets of {W}ythoff sequences, {F}ibonacci representation,
  and beyond, {\em Period. Math. Hung.} {\bf 84} (2022), 37--46.

\bibitem{shallit2023}
Jeffrey Shallit, Proving results about {OEIS} sequences with {W}alnut, In
  C.~Dubois and M.~Kerber, editors, {\em International Conference on
  Intelligent Computer Mathematics}, Vol. 14101 of {\em Lecture Notes in
  Artificial Intelligence}, pp.  270--282. Springer, 2023.

\bibitem{stephan2004}
Ralf Stephan, Prove or disprove 100 conjectures from the {OEIS}.
\newblock Arxiv preprint arXiv: math/0409509v4 [math.CO], 2004. Available at
  \url{https://arxiv.org/abs/math/0409509}.

\end{thebibliography}
