@inproceedings{BeyersdorffBlinkhornPeitl20,
 author = {Olaf Beyersdorff and
Joshua Blinkhorn and
Tom{\'{a}}{\v{s}} Peitl},
 booktitle = {Proceedings of SAT 2020, The 23rd International
Conference on Theory and Applications of
Satisfiability Testing},
 editor = {Luca Pulina and Martina Seidl},
 pages = {394--411},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Strong {(D)QBF} Dependency Schemes via Tautology-free Resolution Paths},
 url = {https://eccc.weizmann.ac.il/report/2020/036},
 volume = {12178},
 year = {2020}
}