@Article{	  kuf07tcs,
  author	= "Manfred Kufleitner",
  title		= "Polynomials, Fragments of Temporal Logic and the Variety
		  {$\mathrm{DA}$} over Traces",
  journal	= "Theoretical Computer Science",
  note		= "Special issue DLT~2006",
  year		= "2007",
  volume	= "376",
  pages		= "89--100",
  doi		= "10.1016/j.tcs.2007.01.014"
}