@inproceedings{ait_el_hara_smt24,
  title     = {An {SMT} {Theory} for n-{Indexed} {Sequences}},
  author    = {Ait El Hara, Hichem Rami and Bobot, Fran{\c c}ois and Bury, Guillaume},
  booktitle = {Proceedings of the 22nd {International} {Workshop} on {Satisfiability} {Modulo} {Theories}},
  editor    = {Reger, Giles and Zohar, Yoni},
  series    = {{CEUR} {Workshop} {Proceedings}},
  volume    = {3725},
  publisher = {CEUR},
  issn      = {1613-0073},
  url       = {https://ceur-ws.org/Vol-3725/#short13},
  pages     = {64--74},
  address   = {Montreal, Canada},
  month     = jul,
  year      = {2024},
  language  = {en}
}