@article{BSS+09,
  author    = {M. Bauland and
               T. Schneider and
               H. Schnoor and
               I. Schnoor and
               H. Vollmer},
  title     = {The Complexity of Generalized Satisfiability for Linear Temporal Logic},
  journal   = {Logical Methods in Computer Science},
  volume    = 5,
  number    = 1,
  year      = 2009,
  ee        = {http://arxiv.org/pdf/0812.4848}
}