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

by E Emerson, J Halpern
Venue:Journal of Computer and Systems Science