@article{3953,
  title = "Decidability of the Interval Temporal Logic ABB Over the Natural Numbers",
  author = "Angelo Montanari and Gabriele Puppis and Pietro Sala",
  year = "2010",
  journal = "STACS'10: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science",
}