Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Georg Gottlob and Reinhard Pichler
Book Title
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
Volume
2076
Year
2001