@misc{indiciae0cef5a6ea20f,
  title = {Towards Quantifier-Free Interpolation in Array Languages with Unbounded Data Specifications},
  author = {Rodrigo Raya and Christophe Ringeissen},
  year = {2026},
  url = {https://arxiv.org/abs/2607.05126},
  note = {Source identifier: 2607.05126}
}