@article{SS09JDA,
    author = {Samer, Marko and Szeider, Stefan},
    title = {Algorithms for Propositional Model Counting},
    journal = {Journal of Discrete Algorithms (JDA)},
    publisher = {Elsevier},
    volume = {8},
    number = {1},
    pages = {50--64},
    year = {2010},
    issn = {1570-8667}
}

@inproceedings{SS07LPAR,
    author = {Samer, Marko and Szeider, Stefan},
    title = {Algorithms for Propositional Model Counting},
    booktitle = {Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'07)},
    editor = {Dershowitz, Nachum and Voronkov, Andrei},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {4790},
    pages = {484--498},
    year = {2007},
    isbn = {978-3-540-75558-6}
}