@article{BeyersdorffBlinkhornPeitl21,
 author = {Olaf Beyersdorff and
Joshua Blinkhorn and
Tom{\'{a}}\v{s} Peitl},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/eccc/BeyersdorffBP21.bib},
 journal = {Electron. Colloquium Comput. Complex.},
 pages = {135},
 timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
 title = {Strong {(D)QBF} Dependency Schemes via Implication-free Resolution
Paths},
 url = {https://eccc.weizmann.ac.il/report/2021/135},
 year = {2021}
}