Detlef Kähler Thomas Wilke Complementation, Disambiguation, and Determinization of Büchi Automata Unified. 724-735 2008 ICALP (1) http://dx.doi.org/10.1007/978-3-540-70575-8_59 conf/icalp/2008-1 db/conf/icalp/icalp2008-1.html#KahlerW08