@misc{indiciae02b985d54dc4,
  title = {LTL to Büchi Automata Translation: Fast and More Deterministic},
  author = {Tomáš Babiak and Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
  year = {2012},
  url = {https://arxiv.org/abs/1201.0682},
  note = {Source identifier: 1201.0682}
}