@inproceedings{BKR10, author = "U. Boker and O. Kupferman and A. Rosenberg", title = "Alternation Removal in B\"uchi Automata", booktitle = icalp10, serias = lncs, pages = "?", year = 2010 }