Luca Pulina Armando Tacchella QuBIS: An (In)complete Solver for Quantified Boolean Formulas. 34-43 2008 MICAI http://dx.doi.org/10.1007/978-3-540-88636-5_3 conf/micai/2008 db/conf/micai/micai2008.html#PulinaT08