@INPROCEEDINGS{mpss10,
  author = {A. Montanari and G. Puppis and P. Sala and G. Sciavicco},
  title = {Decidability of the Interval Temporal Logic $AB\overline{B}$ Over the Natural Numbers},
  booktitle = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS)},
  year = {2010},
  pages = {597-608},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {5},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}
}