Interval Temporal Logics over Finite Linear Orders: the Complete Picture.

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

Browse the full ECAI paper archive.