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