@misc{indiciae827a8834440d,
  title = {Strong Backdoors for Linear Temporal Logic},
  author = {Arne Meier and Sebastian Ordyniak and M. S. Ramanujan and Irena Schindler},
  year = {2016},
  url = {https://arxiv.org/abs/1602.04934},
  note = {Source identifier: 1602.04934}
}