The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT.

Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco

Browse the full TIME paper archive.