@misc{indiciae7be5e4fc54bb,
  title = {Beatty Sequences for a Quadratic Irrational: Decidability and Applications},
  author = {Luke Schaeffer and Jeffrey Shallit and Stefan Zorcic},
  year = {2026},
  url = {https://arxiv.org/abs/2402.08331},
  note = {Source identifier: 2402.08331}
}