1. Apt, K. R. Introduction to logic programming Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1986.
2. Alferes, J. J. and Pereira, L. M. On logic program semantics with two kinds of negation. International Joint Conference and Symposium on Logic Programming, MIT Press, 574–588, 1992.
3. Baaz, M. and Fermüller, Ch. G. Resolution-Based Theorem Proving for Many-valued Logics. Journal of Symbolic Computation, 19 (4): 353–391, 1995.
4. Bacchus, F. Representing and reasoning with probabilistic knowledge. Research Report CS-88–31, University of Waterloo, 1988.
5. Baral, C. Issues in Knowledge Representation: Semantics and Knowledge Combination. PhD thesis, Dept. of Computer Science, University of Maryland, College Park, USA, 1991.