@inproceedings{conf/icalp/GottlobP01,
  title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width",
  author = "Georg Gottlob and Reinhard Pichler",
  year = "2001",
  booktitle = "{Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings}",
  editor = "Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen",
  isbn = "3-540-42287-0",
  pages = "708-719",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/2076/20760708.htm",
  volume = "2076",
}