TY  - RPRT
TI  - A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
AU  - Maximiliano Cristiá
AU  - Gianfranco Rossi
PY  - 2026
UR  - https://arxiv.org/abs/2105.03005
ID  - 2105.03005
ER  -