Balabanov, V., Jiang, J.-H., Janota, M. and Widl, M. (2015) “Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs”, Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). doi: 10.1609/aaai.v29i1.9750.