@Article{         FogartyKupfermanVardiWilke,
  Author        = "Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas",
  date-added    = "2014-01-02 22:40:27 +0000",
  date-modified = "2014-01-03 13:05:01 +0000",
  EPrint        = "1307.4471",
  Keywords      = "determinisation and Buchi automata",
  Month         = "07",
  Title         = {Profile Trees for B{\"u}chi Word Automata, with Application to Determinization},
  URL           = "http://arxiv.org/abs/1307.4471",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1307.4471",
  File          = "Profile Trees for Büchi Word Automata, with Application to Determinization - Fogarty, Kupferman, Vardi, Wilke (0) (0) - a - a - i.pdf"
}

@Article{ FogartyKupfermanVardiWilke, Author = "Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas", date-added = "2014-01-02 22:40:27 +0000", date-modified = "2014-01-03 13:05:01 +0000", EPrint = "1307.4471", Keywords = "determinisation and Buchi automata", Month = "07", Title = {Profile Trees for B{\"u}chi Word Automata, with Application to Determinization}, URL = "http://arxiv.org/abs/1307.4471", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1307.4471", File = "Profile Trees for Büchi Word Automata, with Application to Determinization - Fogarty, Kupferman, Vardi, Wilke (0) (0) - a - a - i.pdf" }