Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. Reasoning with Quantified Boolean Formulas. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 761-780, IOS Press, 2009. [doi]
Abstract is missing.