Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width - Gottlob, G; Pichler, R (Springer, 2001)