Efficient Temporal Reasoning. - E. Allen Emerson; Tom Sadler; Jai Srinivasan (POPL, 1989)

Efficient Temporal Satisfiability. - E. Allen Emerson; Tom Sadler; Jai Srinivasan (J. Log. Comput., 1992)