@misc{indiciaed0360bfbb7e4,
  title = {Deciding two-variable logic with global and local Presburger quantification},
  author = {Michael Benedikt and Chia-Hsuan Lu and Alex Perry and Tony Tan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39108},
  note = {Source identifier: 2610.39108}
}