Marco Cadoli Andrea Giovanardi Marco Schaerf An Algorithm to Evaluate Quantified Boolean Formulae. 262-267 1998 AAAI/IAAI db/conf/aaai/aaai98.html#CadoliGS98