@InProceedings{Dax_Klaedtke:alternation_elimination,
  author = 	 {Christian Dax and Felix Klaedtke},
  title = 	 {Alternation Elimination by Complementation},
  booktitle =    {Proceedings of the 15th International Conference on
                  Logic for Programming, Aritificial Intelligence and Reasoning (LPAR'08)},
  pages = 	 {214--229},
  year = 	 {2008},
  volume = 	 {5530},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}