An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. - Marco Cadoli; Marco Schaerf; Andrea Giovanardi; Massimo Giovanardi (J. Autom. Reason., 2002)