E
[EH85] E. Allen Emerson and Joseph Y. Halpern. Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. Journal of Computer and System Sciences 30(1):1-24. Academic Press, February 1985. 
@article{jcss30(1)-EH,
  author =              {Emerson, E. Allen and Halpern, Joseph Y.},
  title =               {Decision Procedures and Expressiveness in the
                         Temporal Logic of Branching Time},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {30},
  number =              {1},
  pages =               {1-24},
  year =                {1985},
  month =               feb,
}
List of authors