TY  - RPRT
TI  - DueList: A Theory of Lists with Combinators for SMT Solvers
AU  - Pierre Goutagny
AU  - Aymeric Fromherz
AU  - Raphaël Monat
PY  - 2026
UR  - https://arxiv.org/abs/2609.29962
ID  - 2609.29962
ER  -