EasyChair Smart Slide
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates