@Article{	  dg06IC,
  author	= "Volker Diekert and Paul Gastin",
  title		= "Pure future local temporal logics are expressively
		  complete for {M}azurkiewicz traces",
  journal	= "Information and Computation",
  pages		= "1597--1619",
  volume	= "204",
  year		= "2006",
  note		= "Conference version in LATIN 2004, LNCS 2976, 170--182,
		  2004",
  doi		= "10.1016/j.ic.2006.07.002"
}