Morgado, A., Matos, P., Manquinho, V., and Marques, S., 2006, Counting models in integer domains, **Proceedings of 9th International Conference on**
Theory and Applications of Satisfiability Testing**, Seattle, WA.**
Sang, T., Beame, P., and Kautz, H., 2005, Performing Bayesian inference by weighted model counting, Proceedings of 20th AAAI**, Pittsburgh, PA, 475-** 482.

Shoham, Y., 1987, A semantical approach to nonmonotonic logics, In Proceedings of IJCAI-87**, 388-392.**
Thurley, M., 2006, SharpSAT - counting models with advanced **component**
caching and implicit BCP, **Proceedings of 9th International Conference on**
Theory and Applications of Satisfiability Testing**, Seattle, WA.**
Valiant, L., 1979, The complexity of computing the permanent, **Theoretical**
Computer Science, 8**, 189-201.**
Van Gelder, A., Ross, K., and Schlipf, J., 1991, The well-founded semantics for general logic programs, J. ACM, 38 **(3): 620-650.**
Wei, W., and Selman, B., 2005, A new approach to model counting, **LNCS**,
3569**, Springer, 324-339.**