@misc{indiciae08e6c69f7c59,
  title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture},
  author = {Davide Bresolin and Dario Della Monica and Angelo Montanari and Pietro Sala and Guido Sciavicco},
  year = {2012},
  doi = {10.4204/eptcs.96.12},
  url = {https://arxiv.org/abs/1210.2479},
  note = {Source identifier: 1210.2479}
}