Balabanov, Valeriy, Jie-Hong Jiang, Mikolas Janota, and Magdalena Widl. 2015. “Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs”. Proceedings of the AAAI Conference on Artificial Intelligence 29 (1). https://doi.org/10.1609/aaai.v29i1.9750.