1. Genesereth, M.R., N.J. Nilsson, Logical foundations of Artificial Intelligence, Morgan Kaufmann, Los Altos, 1987.
2. Tech. Rept.;E.Y. Shapiro,1981
3. Shapiro, E.Y., Algorithmic Program Debugging (MIT Press, Cambridge, MA, 1983).
4. De Raedt, L. and M. Bruynooghe, On Negation and Three-valued Logic in Interactive Concept-Learning, in: Proceedings of ECAI-90, Stockholm, Sweden, August 6–10, 1990, pp.207–212.
5. Markov, Z., A framework for network modeling in Prolog, in: Proceedings of IJCAI-89, Detroit, U.S.A (1989), 78–83, Morgan Kaufmann.