@Article{	  dg06tcs,
  title		= "From local to global temporal logics over Mazurkiewicz
		  traces",
  journal	= "Theoretical Computer Science",
  year		= "2006",
  volume	= "356",
  number	= "1--2",
  pages		= "125--135",
  doi		= "10.1016/j.tcs.2006.01.035",
  author	= "Diekert, Volker and Gastin, Paul"
}