1. Ayari, A., Basin, D.: Bounded Model Construction for Monadic Second-order Logics. In: Proc. of CAV 2000 (2000)
2. Benedetti, M.: sKizzo: a QBF Decision Procedure based on Propositional Skolemization and Symbolic Reasoning, Tech.Rep. 04-11-03, ITC-irst (2004)
3. Benedetti, M.: sKizzo’s web site (2004), http://sra.itc.it/people/benedetti/sKizzo
4. Lecture Notes in Artificial Intelligence;M. Benedetti,2005
5. Benedetti, M.: Extracting Certificates from Quantified Boolean Formulas. In: Proc. of IJCAI 2005 (2005)