@inproceedings{DeHaanSzeider16,
  author = {Ronald de Haan and Stefan Szeider},
  title = {Parameterized Complexity Results for
                  Symbolic Model Checking of Temporal Logics},
  booktitle = {Proceedings of KR 2016, the Fifteenth
                  International Conference on Principles
                  of Knowledge Representation and
                  Reasoning, Cape Town, South Africa,
                  April 25-29, 2016},
  publisher = {AAAI Press},
  year = {2016},
  pages     = {453--462},
  editor    = {Chitta Baral and James P. Delgrande and Frank Wolter},
  url = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-15-002.pdf},
}