TY  - RPRT
TI  - Towards Quantifier-Free Interpolation in Array Languages with Unbounded Data Specifications
AU  - Rodrigo Raya
AU  - Christophe Ringeissen
PY  - 2026
UR  - https://arxiv.org/abs/2607.05126
ID  - 2607.05126
ER  -