@INPROCEEDINGS{mps10,
  author = {A. Montanari and G. Puppis and P. Sala},
  title = {Maximal Decidable Fragments of {H}alpern and {S}hoham's Modal Logic of Intervals},
  booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)},
  year = {2010},
  pages = {345-356},
  series = {LNCS},
  volume = {6199},
  publisher = {Springer}
}