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

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