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