1. Balabanov, V., Jiang, J.R.: Unified QBF certification and its applications. Formal Methods Syst. Des. 41(1), 45–65 (2012)
2. Balabanov, V., Jiang, J.R., Janota, M., Widl, M.: Efficient extraction of QBF (counter)models from long-distance resolution proofs. In: Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, 25–30 January 2015, pp. 3694–3701. AAAI Press (2015)
3. Lecture Notes in Computer Science;A Biere,2005
4. Lecture Notes in Computer Science;F Lonsing,2009
5. Lecture Notes in Computer Science;F Lonsing,2010