@article{journals/siamcomp/GottlobP04,
  title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width",
  author = "Georg Gottlob and Reinhard Pichler",
  year = "2004",
  journal = "{SIAM J. Comput.}",
  number = "2",
  pages = "351-378",
  volume = "33",
  doi = "10.1137/S0097539701396807",
}