Complexity of propositional temporal logics (1985)

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