Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Annals of Mathematics and Artificial Intelligence, 71(1-3):11-39, 2014. [doi]
Abstract is missing.