@INPROCEEDINGS{mps14,
  author = {A. Montanari and G. Puppis and P. Salas},
  title = {Decidability of the Interval Temporal Logic {$A\overline{A}B\overline{B}$} 
           Over the Rationals},
  booktitle = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS)},
  year = {2014},
  pages = {451-463},
  series = {LNCS},
  volume = {8634},
  publisher = {Springer}
}