@article{ait-el-hara_acta_2025,
  author  = {Ait-El-Hara, Hichem Rami
             and Bobot, Fran{\c{c}}ois
             and Bury, Guillaume},
  title   = {Reasoning over n-indexed sequences in SMT},
  journal = {Acta Informatica},
  year    = {2025},
  month   = {Aug},
  day     = {21},
  volume  = {62},
  number  = {3},
  pages   = {33},
  issn    = {1432-0525},
  doi     = {10.1007/s00236-025-00496-w},
  url     = {https://doi.org/10.1007/s00236-025-00496-w}
}