@inproceedings{ReichlSS21,
 author = {Franz{-}Xaver Reichl and
Friedrich Slivovsky and
Stefan Szeider},
 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\_34},
 editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
 keywords = {l2solve},
 pages = {499--517},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Certified {DQBF} Solving by Definition Extraction},
 url = {https://doi.org/10.1007/978-3-030-80223-3\_34},
 volume = {12831},
 year = {2021}
}