| 1992 | ||
|---|---|---|
| 2 | E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992) | |
| 1989 | ||
| 1 | E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178 | |
| 1 | E. Allen Emerson | [1] [2] |
| 2 | Jai Srinivasan | [1] [2] |