Balabanov, V., Jiang, J.-H. R., Janota, M., & Widl, M. (2015). Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. In B. Bonet & S. Koenig (Eds.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. (pp. 3694–3701). AAAI Press. http://hdl.handle.net/20.500.12708/56401