@inproceedings{MengelS21,
 author = {Stefan Mengel 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\_28},
 editor = {Chu{-}Min Li and
Felip Manyà},
 keywords = {l2solve},
 pages = {399–416},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Proof Complexity of Symbolic {QBF} Reasoning},
 url = {https://doi.org/10.1007/978-3-030-80223-3\_28},
 volume = {12831},
 year = {2021}
}