Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas

Edith Hemaspaandra Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas http://arxiv.org/abs/cs.CC/0406006 2004 CoRR cs.CC/0406006 db/journals/corr/corr0406.html#cs-CC-0406006 informal publication