@Article{	  em96,
  author	= "Werner Ebinger and Anca Muscholl",
  title		= "Logical definability on infinite traces",
  journal	= "Theoretical Computer Science",
  pages		= "67--84",
  volume	= "154",
  year		= "1996",
  abstract	= "The equivalence of monadic second order definability and
		  recognizability and the equivalence of first order
		  definability, star-freeness, and aperiodicity are
		  generalized to languages of infinite traces. A preliminary
		  version appeared in Proc. 20th International Colloquium
		  Automata, Languages and Programming (ICALP'93), Lund
		  (Sweden) 1993, Lecture Notes in Computer Science 700,
		  1993."
}