@InProceedings{	  dg00,
  author	= "Volker Diekert and Paul Gastin",
  title		= "{LTL} is expressively complete for {M}azurkiewicz traces",
  booktitle	= "Proc. 27th International Colloquium Automata, Languages
		  and Programming (ICALP'2000), Geneva (Switzerland)",
  pages		= "211--222",
  series	= "Lecture Notes in Computer Science",
  editor	= "U. Montanari and J. Rolim and E. Welzl",
  volume	= "1853",
  publisher	= "Springer-Verlag",
  year		= "2000",
  doi		= "10.1007/3-540-45022-X_18"
}