The Complexity of Generalized Satisfiability for Linear Temporal Logic.

Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Browse the full FOSSACS paper archive.