1. Apt, K.R.: Logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. [10], pp. 493–574. The MIT Press, Cambridge (1990)
2. Bacchus, F., Grove, A., Halpern, J.Y., Koller, D.: From statistical knowledge bases to degrees of beliefs. Artif. Intell. 87, 75–143 (1996)
3. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135–154 (1989)
4. Carnap, R.: Logical Foundations of Probability. University of Chicago Press, Chicago (1950)
5. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. In: Proc. of the 12th Annual IEEE Conference on Computational Complexity, pp. 82–101 (1997)