TY  - RPRT
TI  - Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
AU  - Davide Bresolin
AU  - Dario Della Monica
AU  - Angelo Montanari
AU  - Pietro Sala
AU  - Guido Sciavicco
PY  - 2012
DO  - 10.4204/eptcs.96.12
UR  - https://arxiv.org/abs/1210.2479
ID  - 1210.2479
ER  -