Sylvie Coste-Marquis Daniel Le Berre Florian Letombe Pierre Marquis Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. 61-88 2006 1 JSAT 1 http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_3_Coste.pdf db/journals/jsat/jsat1.html#Coste-MarquisBLM06