David A. Plaisted Armin Biere Yunshan Zhu A satisfiability procedure for quantified Boolean formulae. 291-328 2003 130 Discrete Applied Mathematics 2 http://dx.doi.org/10.1016/S0166-218X(02)00409-2 db/journals/dam/dam130.html#PlaistedBZ03