Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Georg Gottlob and Reinhard Pichler
Journal
SIAM J. Comput.
Number
2
Pages
351−378
Volume
33
Year
2004
Georg Gottlob and Reinhard Pichler