@misc{indiciae65bed7c0f6c8,
  title = {Comparison of Algorithms for Checking Emptiness on Buechi Automata},
  author = {Andreas Gaiser and Stefan Schwoon},
  year = {2009},
  url = {https://arxiv.org/abs/0910.3766},
  note = {Source identifier: 0910.3766}
}