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