@misc{indiciaecf4f73f6b41e,
  title = {Profile Trees for Büchi Word Automata, with Application to Determinization},
  author = {Seth Fogarty and Orna Kupferman and Moshe Y. Vardi and Thomas Wilke},
  year = {2013},
  doi = {10.4204/eptcs.119.11},
  url = {https://arxiv.org/abs/1307.4471},
  note = {Source identifier: 1307.4471}
}