@Article{	  dg04ic,
  title		= "Local temporal logic is expressively complete for cograph
		  dependence alphabets",
  journal	= "Information and Computation",
  year		= "2004",
  volume	= "195",
  pages		= "30--52",
  author	= "Diekert, Volker and Gastin, Paul"
}