@inproceedings{SlivovskySzeider13,
 author = {Friedrich Slivovsky and
Stefan Szeider},
 booktitle = {Algorithms and Computation - 24th International Symposium, {ISAAC}
2013, Hong Kong, China, December 16-18, 2013, Proceedings},
 doi = {10.1007/978-3-642-45030-3_63},
 editor = {Leizhen Cai and
Siu{-}Wing Cheng and
Tak Wah Lam},
 pages = {677-687},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Model Counting for Formulas of Bounded Clique-Width},
 volume = {8283},
 year = {2013}
}