Efficient Temporal Reasoning.

E. Allen Emerson, Tom Sadler, Jai Srinivasan

Browse the full POPL paper archive.