@misc{indiciaed821d7f3730c,
  title = {An O(n\textasciicircum{}2) Time Algorithm for Alternating Büchi Games},
  author = {Krishnendu Chatterjee and Monika Henzinger},
  year = {2011},
  url = {https://arxiv.org/abs/1109.5018},
  note = {Source identifier: 1109.5018}
}