Franz-Xaver Reichl, Friedrich Slivovsky. Pedant: A Certifying DQBF Solver. 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 20:1-20:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.