E
[ES84] E. Allen Emerson and A. Prasad Sistla. Deciding Full Branching Time Logic. Information and Control 61(3):175-201. Academic Press, June 1984. 
@article{icont61(3)-ES,
  author =              {Emerson, E. Allen and Sistla, A. Prasad},
  title =               {Deciding Full Branching Time Logic},
  publisher =           {Academic Press},
  journal =             {Information and Control},
  volume =              {61},
  number =              {3},
  pages =               {175-201},
  year =                {1984},
  month =               jun,
}
List of authors