Complexity of Propositional temporal logics (1986)

by A P Sistla, E Clarke
Venue:J. AC