Chew, L. Proof Simulation via Round-Based Strategy Extraction for QBF. AAAI 2025, 39, 11176-11184.