Reference Details Giunchiglia, E., Narizzano, M. and Tacchella, A. (2007), "Quantifier Structure in search based procedures for QBFs", IEEE Transactions on Computer Aided Design of Integrated Circuits and Sistems, 26, 3.   Webpage Link