@InProceedings{	  dg99,
  author	= "Volker Diekert and Paul Gastin",
  title		= "An Expressively Complete Temporal Logic without Past Tense
		  Operators for {M}azurkiewicz Traces",
  booktitle	= "Proc. 13th Computer Science Logic (CSL'99), Madrid (Spain)
		  1999",
  pages		= "188--203",
  series	= "Lecture Notes in Computer Science",
  editor	= "J. Flum and M. Rodr{\'\i}guez-Artalejo",
  volume	= "1683",
  publisher	= "Springer-Verlag",
  year		= "1999",
  doi		= "10.1007/3-540-48168-0_14"
}