TY  - RPRT
TI  - On SMT Theory Design: The Case of Sequences
AU  - Hichem Rami Ait El Hara
AU  - François Bobot
AU  - Guillaume Bury
PY  - 2024
DO  - 10.29007/75tl
UR  - https://arxiv.org/abs/2411.01961
ID  - 2411.01961
ER  -