@article{PaulusmaSlivovskySzeider16,
 author = {Dani{\"e}l Paulusma and Friedrich Slivovsky and
Stefan Szeider},
 doi = {10.1007/s00453-015-0030-x},
 journal = {Algorithmica},
 number = {1},
 pages = {168--194},
 title = {Model Counting for {CNF} Formulas of Bounded Modular
Treewidth},
 url = {http://dx.doi.org/10.1007/s00453-015-0030-x},
 volume = {76},
 year = {2016}
}