Balabanov, V.; Jiang, J.-H.; Janota, M.; Widl, M. Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. AAAI 2015, 29.