Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
SIAM Journal on Computing (2004) - Comments
doi: 10.1137/s0097539701396807  issn: 0097-5397  issn: 1095-7111 

Georg Gottlob, Reinhard Pichler