E
[ES84] E. Allen Emerson and A. Prasad Sistla. Deciding Full Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. In LOP'83, Lecture Notes in Computer Science 164, pages 176-192. Springer-Verlag, 1984. 
@inproceedings{lop1983-ES,
  author =              {Emerson, E. Allen and Sistla, A. Prasad},
  title =               {Deciding Full Branching Time Logic: A Triple
                         Exponential Decision Procedure for CTL{\(^*\)}},
  editor =              {Clarke, Edmund M. and Kozen, Dexter C.},
  booktitle =           {{P}roceedings of the 4th {W}orkshop on {L}ogics of
                         {P}rograms ({LOP}'83)},
  acronym =             {{LOP}'83},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {164},
  pages =               {176-192},
  year =                {1984},
  confyear =            {1983},
  confmonth =           {6},
}
List of authors