@InProceedings{	  dg01,
  author	= "Volker Diekert and Paul Gastin",
  title		= "Local Temporal Logic is Expressively Complete for Cograph
		  Dependence Alphabets",
  booktitle	= "Proc. 8th International Conference on Logic for
		  Programming, Artificial Intelligence and Reasoning
		  (LPAR'01), Havanna (Cuba)",
  pages		= "55--69",
  series	= "Lecture Notes in Computer Science",
  editor	= "R. Nieuwenhuis and A. Voronkov",
  volume	= "2250",
  publisher	= "Springer-Verlag",
  year		= "2001",
  doi		= "10.1007/3-540-45653-8_4"
}