1. Cook S. A., “The complexity of theorem-proving procedures,” Proc. Third Annual ACM Sympos. Theory of Computing (1971), pp. 151–158.
2. Kleer J D. Building expert systems: Hayes-Roth F., Waterman D. A. and Lenat D. B. (Addison-Wesley Reading, MA, 1983); 444 pages, $32.50[J].
3. Nguyen T A, Perkins W A, Laffey T J, et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness.[C] // International Joint Conference on Artificial Intelligence. 1985:375–378.
4. Integrity constraints in logic databases