Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger. Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 429–446, 2020, Springer.