sometimes” and “not never” revisited: on branching versus linear time temporal logic (1986)

by E A Emerson, J Y Halpern
Venue:J. ACM