The Complexity of Propositional Linear Temporal Logics (1985)

by A P Sistla, E M Clarke
Venue:Journal of the ACM