TY  - RPRT
TI  - Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
AU  - Davide Bresolin
AU  - Pietro Sala
AU  - Guido Sciavicco
PY  - 2010
DO  - 10.4204/eptcs.25.10
UR  - https://arxiv.org/abs/1006.1407
ID  - 1006.1407
ER  -