@misc{indiciae0f77c479fd12,
  title = {The complexity of linear-time temporal logic over the class of ordinals},
  author = {Stephane Demri and Alexander Rabinovich},
  year = {2010},
  doi = {10.2168/lmcs-6(4:9)2010},
  url = {https://arxiv.org/abs/1009.5206},
  note = {Source identifier: 1009.5206}
}