@chapter{KahlerWilke,
    Author = {K{\"a}hler, Detlef and Wilke, Thomas},
    BookTitle = {Automata, Languages and Programming},
    File = {Complementation, Disambiguation, and Determinization of Büchi Automata Unified - Kähler, Wilke (0) (0) - a - a - i.pdf},
    Pages = {724--735},
    Series = {Lecture Notes in Computer Science},
    Title = {Complementation, Disambiguation, and Determinization of B{\"u}chi Automata Unified},
    Volume = {5125},
    Year = {2008},
    bdsk-url-1 = {http://www.springerlink.com/content/v528v94436m51137/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-70575-8\_59},
    date-added = {2012-08-22 15:52:26 +0200},
    date-modified = {2012-08-22 13:52:26 +0000},
    doi = {10.1007/978-3-540-70575-8_59}
}

@chapter{KahlerWilke, Author = {K{\"a}hler, Detlef and Wilke, Thomas}, BookTitle = {Automata, Languages and Programming}, File = {Complementation, Disambiguation, and Determinization of Büchi Automata Unified - Kähler, Wilke (0) (0) - a - a - i.pdf}, Pages = {724--735}, Series = {Lecture Notes in Computer Science}, Title = {Complementation, Disambiguation, and Determinization of B{\"u}chi Automata Unified}, Volume = {5125}, Year = {2008}, bdsk-url-1 = {http://www.springerlink.com/content/v528v94436m51137/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-70575-8_59}, date-added = {2012-08-22 15:52:26 +0200}, date-modified = {2012-08-22 13:52:26 +0000}, doi = {10.1007/978-3-540-70575-8_59} }