E
[ES84] E. Allen Emerson and A. Prasad Sistla. Deciding Branching Time Logic. In STOC'84, pages 14-24. ACM Press, April 1984. 
@inproceedings{stoc1984-ES,
  author =              {Emerson, E. Allen and Sistla, A. Prasad},
  title =               {Deciding Branching Time Logic},
  booktitle =           {{P}roceedings of the 16th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'84)},
  acronym =             {{STOC}'84},
  publisher =           {ACM Press},
  pages =               {14-24},
  year =                {1984},
  month =               apr,
}
List of authors