Enrico Giunchiglia Massimo Narizzano Armando Tacchella Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. 371-416 2006 26 J. Artif. Intell. Res. (JAIR) http://dx.doi.org/10.1613/jair.1959 db/journals/jair/jair26.html#GiunchigliaNT06