@misc{indiciae601fd5eb42de,
  title = {The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments},
  author = {Michael Bauland and Martin Mundhenk and Thomas Schneider and Henning Schnoor and Ilka Schnoor and Heribert Vollmer},
  year = {2008},
  url = {https://arxiv.org/abs/0805.0498},
  note = {Source identifier: 0805.0498}
}