The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT | Publicación