1. Bayardo Jr., R., Pehoushek, J.D.: Counting Models using Connected Components. In: Proceeding of the Seventeenth National Conf. on Artificial Intelligence (2000)
2. Adnan, D.: On the Tractability of Counting Theory Models and its Application to Belief Revision and Truth Maintenance. Jour. of Applied Non-classical Logics 11(1-2), 11–34 (2001)
3. Eiter, T., Gottlob, G.: The complexity of logic-based abduction. Journal of the ACM 42(1), 3–42 (1995)
4. Fagin, R., Halpern, J.Y.: A new approach to updating beliefs, Uncertainty in Artificial Intelligence 6. In: Bonissone, P.P., Henrion, M., Kanal, L.N., Lemmer, J.F. (eds.), pp. 347???374 (1991);
5. Artificial Intelligence??54, 275???317 (1992)