@Article{	  dg02jcss,
  author	= "Volker Diekert and Paul Gastin",
  title		= "{LTL} is expressively complete for {M}azurkiewicz traces",
  journal	= "Journal of Computer and System Sciences",
  pages		= "396--418",
  volume	= "64",
  year		= "2002",
  doi		= "10.1006/jcss.2001.1817"
}