"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.

E. Allen Emerson, Joseph Y. Halpern

Browse the full POPL paper archive.