Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Browse the full CADE paper archive.