TY  - RPRT
TI  - The Complexity of Generalized Satisfiability for Linear Temporal Logic
AU  - Michael Bauland
AU  - Thomas Schneider
AU  - Henning Schnoor
AU  - Ilka Schnoor
AU  - Heribert Vollmer
PY  - 2009
DO  - 10.2168/lmcs-5(1:1)2009
UR  - https://arxiv.org/abs/0812.4848
ID  - 0812.4848
ER  -