E. Allen Emerson Tom Sadler Jai Srinivasan Efficient Temporal Satisfiability. 173-210 1992 2 J. Log. Comput. 2 db/journals/logcom/logcom2.html#EmersonSS92