Decomposing Quantified Conjunctive (or Disjunctive) Formulas.

Hubie Chen, Vctor Dalmau

Browse the full LICS paper archive.