@InProceedings{	  dg04,
  author	= "Volker Diekert and Paul Gastin",
  title		= "Pure future Local Temporal Logics are expressively
		  complete for {M}azurkiewicz Traces",
  booktitle	= "Proceedings of the 6th Latin American Theoretical
		  Informatics Symposium (LATIN'04), Buenos Aires",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  volume	= "2976",
  year		= "2004",
  pages		= "232--241",
  editor	= "Martin Farach-Colton",
  isbn		= "3-540-21258-2",
  doi		= "10.1007/978-3-540-24698-5_27"
}