@misc{indiciaef17c88a43b5b,
  title = {The Complexity of Clausal Fragments of LTL},
  author = {A. Artale and R. Kontchakov and V. Ryzhikov and M. Zakharyaschev},
  year = {2013},
  url = {https://arxiv.org/abs/1306.5088},
  note = {Source identifier: 1306.5088}
}