Sometimes” and “Not Never” revisited: On branching versus linear time temporal logic (1986)

by E A Emerson, J Y Halpern
Venue:Journal of the ACM