@inproceedings{BlinkhornPS21,
 author = {Joshua Blinkhorn and
Tom{\'{a}}\v{s} Peitl and
Friedrich Slivovsky},
 booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
 doi = {10.1007/978-3-030-80223-3\_4},
 editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
 keywords = {l2solve},
 pages = {30--46},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Davis and {P}utnam Meet {H}enkin: Solving {DQBF} with Resolution},
 url = {https://doi.org/10.1007/978-3-030-80223-3_4},
 volume = {12831},
 year = {2021}
}