Decision procedures and expressiveness in the temporal logic of branching time (1985)

by E Allen Emerson, Joseph Y Halpern
Venue:J. Comput. Syst. Sci