E
[EW00] Kousha Etessami et Thomas Wilke. An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic. Information and Computation 160(1-2):88-108. Academic Press, juillet 2000. 
@article{icomp160(1-2)-EW,
  author =              {Etessami, Kousha and Wilke, Thomas},
  title =               {An Until Hierarchy and Other Applications of an
                         Ehrenfeucht-Fra{\"i}ss{\'e} Game for Temporal Logic},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {160},
  number =              {1-2},
  pages =               {88-108},
  year =                {2000},
  month =               jul,
}
Liste des auteurs