Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.

E. Allen Emerson Joseph Y. Halpern Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. 1-24 1985 30 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss30.html#EmersonH85