@inproceedings{ait_el_hara_lpar24,
  title     = {On {SMT} {Theory} {Design}: {The} {Case} of {Sequences}},
  author    = {Ait El Hara, Hichem Rami and Bobot, Fran{\c c}ois and Bury, Guillaume},
  booktitle = {LPAR 2024 Complementary Volume},
  editor    = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {18},
  publisher = {EasyChair},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/qdvJ},
  doi       = {10.29007/75tl},
  pages     = {14--29},
  month     = may,
  year      = {2024},
  language  = {en}
}