@article(Alpert:2009,
 author       = {H. Alpert},
 year         = {2009},
 title        = {Differences of multiple {Fibonacci} numbers},
 journal      = {INTEGERS},
 volume       = {9},
 doi          = {10.1515/INTEG.2009.061},
 note         = {Paper \#A57},
)
@article(Berstel:2001,
 author       = {J. Berstel},
 year         = {2001},
 title        = {An exercise on {Fibonacci} representations},
 journal      = {RAIRO Inform. Th\'eor. App.},
 volume       = {35},
 pages        = {491--498},
 doi          = {10.1051/ita:2001127},
)
@article(Brown:1965,
 author       = {J. L. Brown, Jr.},
 year         = {1965},
 title        = {A new characterization of the {Fibonacci} numbers},
 journal      = {Fibonacci Quart.},
 volume       = {3},
 number       = {1},
 pages        = {1--8},
)
@article(Brown:1969,
 author       = {J. L. Brown, Jr.},
 year         = {1969},
 title        = {Unique representation of integers as sums of distinct {Lucas} numbers},
 journal      = {Fibonacci Quart.},
 volume       = {7},
 pages        = {243--252},
)
@article(Bruyere&Hansel&Michaux&Villemaire:1994,
 author       = {V. {Bruy\`ere} and G. Hansel and C. Michaux and R. Villemaire},
 year         = {1994},
 title        = {Logic and $p$-recognizable sets of integers},
 journal      = {Bull. Belgian Math. Soc.},
 volume       = {1},
 pages        = {191--238},
 doi          = {10.36045/bbms/1103408547},
 note         = {Corrigendum, {\it Bull.\ Belg.\ Math.\ Soc.} 1 (1994), p.~577},
)
@article(Buchi:1960,
 author       = {J. R. {B\"uchi}},
 year         = {1960},
 title        = {Weak second-order arithmetic and finite automata},
 journal      = {Zeitschrift {f\"ur} mathematische Logik und Grundlagen der Mathematik},
 volume       = {6},
 pages        = {66--92},
 doi          = {10.1002/malq.19600060105},
 note         = {Reprinted in S. Mac Lane and D. Siefkes, eds., {\it The Collected Works of J. Richard {B\"uchi}}, Springer-Verlag, 1990, pp.\ 398--424},
)
@article(Bunder:1992,
 author       = {M. W. Bunder},
 year         = {1992},
 title        = {Zeckendorf representations using negative {Fibonacci} numbers},
 journal      = {Fibonacci Quart.},
 volume       = {30},
 pages        = {111--115},
)
@article(Carlitz&Scoville&Hoggatt:1972,
 author       = {L. Carlitz and R. Scoville and V.E. Hoggatt, Jr.},
 year         = {1972},
 title        = {Fibonacci representations of higher order},
 journal      = {Fibonacci Quart.},
 volume       = {10},
 pages        = {43--69, 94},
)
@article(Hajnal:2023,
 author       = {P. Hajnal},
 year         = {2023},
 title        = {A short note on numeration systems with negative digits allowed},
 journal      = {Bull. Inst. Combin. Appl.},
 volume       = {97},
 pages        = {54--66},
)
@book(Hopcroft&Ullman:1979,
 author       = {J. E. Hopcroft and J. D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages, and Computation},
 publisher    = {Addison-Wesley},
)
@incollection(Horadam:1993,
 author       = {A. F. Horadam},
 year         = {1993},
 title        = {Zeckendorf representations of positive and negative integers by {Pell} numbers},
 editor       = {G. E. Bergum and A. N. Philippou and A. F. Horadam},
 booktitle    = {Applications of Fibonacci Numbers},
 volume       = {5},
 publisher    = {Kluwer},
 pages        = {305--316},
 doi          = {10.1007/978-94-011-2058-6_29},
)
@article(Lekkerkerker:1952,
 author       = {C. G. Lekkerkerker},
 year         = {1952},
 title        = {Voorstelling van natuurlijke getallen door een som van getallen van {Fibonacci}},
 journal      = {Simon Stevin},
 volume       = {29},
 pages        = {190--195},
)
@unpublished(Mousavi:2016,
 author       = {H. Mousavi},
 year         = {2016},
 title        = {Automatic theorem proving in {{\tt Walnut}}},
 note         = {Arxiv preprint arXiv:1603.06017 [cs.FL], available at \url{http://arxiv.org/abs/1603.06017}},
)
@article(Mousavi&Schaeffer&Shallit:2016,
 author       = {H. Mousavi and L. Schaeffer and J. Shallit},
 year         = {2016},
 title        = {Decision Algorithms for {Fibonacci}-Automatic Words, {I:} Basic Results},
 journal      = {RAIRO Inform. Th\'eor. App.},
 volume       = {50},
 pages        = {39--66},
 doi          = {10.1051/ita/2016010},
)
@article(Ostrowski:1922,
 author       = {A. Ostrowski},
 year         = {1922},
 title        = {Bemerkungen zur {Theorie} der {Diophantischen} {Approximationen}},
 journal      = {Abh. Math. Sem. Hamburg},
 volume       = {1},
 pages        = {77--98,250--251},
 doi          = {10.1007/BF02940595},
 note         = {Reprinted in {\it Collected Mathematical Papers}, Vol.\ 3, pp.\ 57--80},
)
@article(Park&Cho&Cho&Cho&Park:2020,
 author       = {H. Park and B. Cho and D. Cho and Y. D. Cho and J. Park},
 year         = {2020},
 title        = {Representations of integers as sums of {Fibonacci} numbers},
 journal      = {Symmetry},
 volume       = {12},
 number       = {10},
 doi          = {10.3390/sym12101625},
 note         = {Paper 1625},
)
@article(Robbins:1996,
 author       = {N. Robbins},
 year         = {1996},
 title        = {Fibonacci partitions},
 journal      = {Fibonacci Quart.},
 volume       = {34},
 pages        = {306--313},
)
@article(Shallit:2021c,
 author       = {J. Shallit},
 year         = {2021},
 title        = {Robbins and {Ardila} meet {Berstel}},
 journal      = {Inform. Process. Lett.},
 volume       = {167},
 doi          = {10.1016/j.ipl.2020.106081},
 note         = {Paper 106081},
)
@book(Shallit:2022,
 author       = {J. Shallit},
 year         = {2022},
 title        = {The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with {\tt Walnut}},
 series       = {London Math. Soc. Lecture Notes Series},
 volume       = {482},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781108775267},
)
@article(Zeckendorf:1972,
 author       = {E. Zeckendorf},
 year         = {1972},
 title        = {{Repr\'esentation} des nombres naturels par une somme de nombres de {Fibonacci} ou de nombres de {Lucas}},
 journal      = {Bull. Soc. Roy. {Li\`ege}},
 volume       = {41},
 pages        = {179--182},
)