@misc{indiciaef84520f4909a,
  title = {Algorithmic metatheorems for decidable LTL model checking over infinite systems},
  author = {Anthony Widjaja To and Leonid Libkin},
  year = {2009},
  url = {https://arxiv.org/abs/0910.4932},
  note = {Source identifier: 0910.4932}
}