@InProceedings{tacas2012,
  author = {T. Babiak and M. K\v{r}et\'{\i}nsk\'{y} and V. {\v{R}}eh{\'{a}}k and J. Strej{\v{c}}ek},
  title = {{LTL to B\"{u}chi Automata Translation: Fast and More Deterministic}},
  booktitle = {Proceedings of 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)},
  pages = "95--109",
  year = 2012,
  series =	 "Lecture Notes in Computer Science",
  volume = {7214},
  publisher =	 "Springer-Verlag",
}