@InProceedings{	  kuf06dlt,
  author	= "Manfred Kufleitner",
  title		= "Polynomials, Fragments of Temporal Logic and the Variety
		  {$\mathrm{DA}$} over Traces",
  booktitle	= "{P}roc.\ of the 10th {I}nt.\ {C}onf.\ on {D}evelopments in
		  {L}anguage {T}heory ({DLT}'06)",
  event_place	= "Santa Barbara, CA, USA",
  event_name	= "Developments in Language Theory,10th International
		  Conference",
  event_date	= "June 26-29",
  editor	= "Ibarra, Oscar H. and Dang, Zhe",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  volume	= "4036",
  pages		= "37--48",
  year		= "2006",
  doi		= "10.1007/11779148_5"
}