@inproceedings{DBLP:conf/lics/FichteHP20, title = {Lower Bounds for QBFs of Bounded Treewidth}, author = {Fichte, Johannes Klaus and Hecher, Markus and Pfandler, Andreas}, booktitle = {{LICS}}, pages = {410--424}, publisher = {{ACM}}, year = {2020} }