Hubie Chen, Víctor Dalmau. Decomposing Quantified Conjunctive (or Disjunctive) Formulas. SIAM Journal on Computing, 45(6):2066-2086, 2016. [doi]
@article{ChenD16-10, title = {Decomposing Quantified Conjunctive (or Disjunctive) Formulas}, author = {Hubie Chen and Víctor Dalmau}, year = {2016}, doi = {10.1137/140957378}, url = {http://dx.doi.org/10.1137/140957378}, researchr = {https://researchr.org/publication/ChenD16-10}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {45}, number = {6}, pages = {2066-2086}, }