The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT | IEEE Conference Publication | IEEE Xplore