The Complexity of Propositional Linear Temporal Logics in Simple Cases (Extended Abstract).

Stphane Demri, Philippe Schnoebelen

Browse the full STACS paper archive.