@InProceedings{   DBLP:journals/corr/FogartyKVW13,
  Author        = "Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "GandALF",
  date-added    = "2013-10-25 14:33:34 +0000",
  date-modified = "2013-10-25 14:33:34 +0000",
  ee            = "http://dx.doi.org/10.4204/EPTCS.119.11",
  Pages         = "107-121",
  Title         = {Profile Trees for B{\"u}chi Word Automata, with Application to Determinization},
  Year          = "2013",
  File          = "Profile Trees for Büchi Word Automata, with Application to Determinization - Fogarty, Kupferman, Vardi, Wilke (0) (1) - a - a - i.pdf"
}

@InProceedings{ DBLP:journals/corr/FogartyKVW13, Author = "Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "GandALF", date-added = "2013-10-25 14:33:34 +0000", date-modified = "2013-10-25 14:33:34 +0000", ee = "http://dx.doi.org/10.4204/EPTCS.119.11", Pages = "107-121", Title = {Profile Trees for B{\"u}chi Word Automata, with Application to Determinization}, Year = "2013", File = "Profile Trees for Büchi Word Automata, with Application to Determinization - Fogarty, Kupferman, Vardi, Wilke (0) (1) - a - a - i.pdf" }