V
[Var97] Moshe Y. Vardi. Alternating Automata: Checking Truth and Validity for Temporal Logics. In CADE'97, Lecture Notes in Artificial Intelligence 1249, pages 191-206. Springer-Verlag, July 1997. 
@inproceedings{cade1997-Var,
  author =              {Vardi, Moshe Y.},
  title =               {Alternating Automata: Checking Truth and Validity
                         for Temporal Logics},
  editor =              {McCune, William},
  booktitle =           {{P}roceedings of the 14th {I}nternational
                         {C}onference on {A}utomated {D}eduction ({CADE}'97)},
  acronym =             {{CADE}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Artificial Intelligence},
  volume =              {1249},
  pages =               {191-206},
  year =                {1997},
  month =               jul,
}
List of authors