@article{tcs14,
  title = "Interval Temporal Logics over Strongly Discrete
           Linear Orders: Expressiveness and Complexity",
  author = "Davide Bresolin and
            Della Monica, Dario and
            Angelo Montanari and
            Pietro Sala and
            Guido Sciavicco",
  journal = "Theoretical Computer Science (TCS)",
  volume = "560",
  pages = "269--291",
  year = "2014",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2014.03.033",
  keywords = "Interval temporal logics",
  keywords = "Discrete linear orders",
  keywords = "Expressiveness",
  keywords = "Decidability",
  keywords = "Complexity "
}