K
[KMM+93] Yonit Kesten, Zohar Manna, Hugh McGuire, and Amir Pnueli. A Decision Algorithm for Full Propositional Temporal Logic. In CAV'93, Lecture Notes in Computer Science 697, pages 97-109. Springer-Verlag, June 1993. 
@inproceedings{cav1993-KMMP,
  author =              {Kesten, Yonit and Manna, Zohar and McGuire, Hugh and
                         Pnueli, Amir},
  title =               {A Decision Algorithm for Full Propositional Temporal
                         Logic},
  editor =              {Courcoubetis, Costas},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'93)},
  acronym =             {{CAV}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {697},
  pages =               {97-109},
  year =                {1993},
  month =               jun,
}
List of authors