@misc{indiciae9942252c9492,
  title = {Modulo quantifiers over functional vocabularies extending addition},
  author = {A. Baskar and A. V. Sreejith and R. S. Thinniyam},
  year = {2025},
  url = {https://arxiv.org/abs/1705.00290},
  note = {Source identifier: 1705.00290}
}