@inproceedings{GanianPeitlSlivovskySzeider20,
 author = {Robert Ganian and
Tom{\'{a}}\v{s} Peitl and
Friedrich Slivovsky and
Stefan Szeider},
 booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020},
 editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
 keywords = {l2solve, nfpc, reveal, slim},
 pages = {392--402},
 title = {Fixed-Parameter Tractability of Dependency {QBF} with Structural Parameters},
 url = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-20-011.pdf},
 year = {2020}
}