@misc{indiciaeeada8a56d2dc,
  title = {Decidability of the interval temporal logic ABBar over the natural numbers},
  author = {A. Montanari and G. Puppis and P. Sala and G. Sciavicco},
  year = {2010},
  url = {https://arxiv.org/abs/0912.3429},
  note = {Source identifier: 0912.3429}
}