@InProceedings{	  dax.ea:alternation:2008,
  author	= {Christian Dax and Felix Klaedtke},
  booktitle	= {Proc. of the 15th International Conferences on Logic for
		  Programming, Artificial Intelligence and Reasoning
		  (LPAR'08)},
  language	= {USenglish},
  title		= {Alternation Elimination by Complementation},
  year		= 2008,
  user		= {daxc}
}