@article{3956, title = "Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals", author = "Angelo Montanari and Gabriele Puppis and Pietro Sala", year = "2010", journal = "ICALP'10: Proceedings of the 37th International Colloquium on Automata, Languages and Programming", }