On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width.

Pascal Koiran, Klaus Meer

Browse the full WG paper archive.