E
[EVW97] Kousha Etessami, Moshe Y. Vardi et Thomas Wilke. First-Order Logic with Two Variables and Unary Temporal Logic. In LICS'97, pages 228-235. IEEE Comp. Soc. Press, juin 1997. 
@inproceedings{lics1997-EVW,
  author =              {Etessami, Kousha and Vardi, Moshe Y. and Wilke,
                         Thomas},
  title =               {First-Order Logic with Two Variables and Unary
                         Temporal Logic},
  booktitle =           {{P}roceedings of the 12th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'97)},
  acronym =             {{LICS}'97},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {228-235},
  year =                {1997},
  month =               jun,
}
Liste des auteurs