@InCollection{Klaedtke:complementation_buechi,
  author = 	 {Felix Klaedtke},
  title = 	 {Complementation of {B\"uchi} Automata Using Alternation},
  booktitle = 	 {Automata, Logics, and Infinite Games (A Guide to Current Research)},
  pages = 	 {61--77},
  publisher =    {Springer-Verlag},
  year = 	 {2002},
  editor = 	 {E. Gr\"adel and W. Thomas and T. Wilke},
  volume = 	 {2500},
  series = 	 {Lecture Notes in Computer Science},
  chapter = 	 {4},
}