L. Chew, “Proof Simulation via Round-based Strategy Extraction for QBF”, AAAI, vol. 39, no. 11, pp. 11176–11184, Apr. 2025.