@misc{indiciaecb1c3c176be2,
  title = {On SMT Theory Design: The Case of Sequences},
  author = {Hichem Rami Ait El Hara and François Bobot and Guillaume Bury},
  year = {2024},
  doi = {10.29007/75tl},
  url = {https://arxiv.org/abs/2411.01961},
  note = {Source identifier: 2411.01961}
}