TY - GEN A1 - Koiran, Pascal A1 - Meer, Klaus A1 - Briquel, Irénée T1 - On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/5027 ER -