TY  - RPRT
TI  - Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
AU  - Bernard Boigelot
AU  - Pascal Fontaine
AU  - Baptiste Vergain
PY  - 2023
UR  - https://arxiv.org/abs/2305.15059
ID  - 2305.15059
ER  -