@misc{indiciaeb787ffe37fac,
  title = {A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals},
  author = {Ben Moszkowski},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0601008},
  note = {Source identifier: cs/0601008}
}