Batarekh A, Preece AD, Bennett A and Grogono P, 1991, “Specifying an expert system” Expert Systems with Applications2(4) 285–303.

Bundy A, 1988, “How to improve the reliability of expert systems” In: Moralee DS (ed.), Research and Development in Expert Systems IV: Proc. Expert Systems 87, pp 3–17, Cambridge University Press.

Chang CL, Combs JB and Stachowitz RA, 1990a, “A report on the expert systems validation associate (EVA)” Expert Systems with Applications1(3) 217–230.

Chang CL, Stachowitz RA and Combs JB, 1990b, “Validation of nonmonotonic knowledge-based systems” In: A Dollas, WT Tsai and NG Bourbakis (eds.), Proc. 2nd International Conference on Tools for Artificial Intelligence (TAI-90), pp 776–782. IEEE.

Cragun BJ and Steudel HJ, 1987, “A decision-table-based processor for checking completeness and consistency in rule-based expert systems” International Journal of Man-Machine Studies26(5) 633–648.

de Kleer J, 1986, “An assumption-based TMS” Artificial Intelligence28(2) 127–162.

Giarratano J and Riley G, 1989, Expert Systems: Principles and ProgrammingPWS-Kent, New York.

Ginsberg A, 1988 “Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency & redundancy” In: Proc. 7th National Conference on Artificial Intelligence (AAAI88), volume 2, pp 585–589.

Ginsberg A, 1990, “Theory reduction, theory revision, and retranslation” In: Proc. 8th National Conference on Artificial Intelligence (AAAI 90), pp 777–782, MIT Press.

Ginsberg A and Williamson K, 1989, Checking quasi-first-order-logic rule-based systems for inconsistency and redundancy Technical Report 11354–891229–02TM, AT & T Bell Laboratories, Holmdel, NJ.

Jackson P, Reichgelt H and van Harmelin F, 1989, Logic-based Knowledge RepresentationMIT Press.

Jacob RJK and Froscher JN, 1990, “A software engineering methodology for rule-based systems” IEEE Transactions on Knowledge and Data Engineering2(2) 173–189.

Laurent JP and Ayel M, 1989, “Off-line coherence checking for knowledge based systems” In: IJCAI-89 Workshop on Verification, Validation and Testing of Knowledge-Based Systems. IJCAI.

McGuire JG, 1990, “Uncovering redundancy and rule-inconsistency in knowledge bases via deduction” In: Proc. 5th Annual Conference on Computer Assurance: Systems Integrity, Software Safety, and Process SafetyIEEE.

Mendelson E, 1979, Introduction to Mathematical Logic. Van Nostrand.

Nazareth DL, 1989, “Issues in the verification of knowledge in rule-based systems” International Journal of Man-Machine Studies30(3) 255–271.

Newell A, 1981, “The knowledge level” AI Magazine2(2) 1–20.

Nguyen TA, 1987, “Verifying consistency of production systems” In: Proc. 3rd Conference on Artificial Intelligence Applications, pp 4–8, IEEE.

Nguyen TA, Perkins WA, Laffey TJ and Pecora D, 1985, “Checking an expert systems knowledge base for consistency and completeness” In: Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85), volume 1, pp 375–378, AAAI.

Nguyen TA, Perkins WA, Laffey TJ and Pecora D, 1987, “Knowledge base verification” AI Magazine8(2) 69–75.

Perkins WA, Laffey TJ, Pecora D and Nguyen TA, 1989, “Knowledge base verification” In: Guida G and Tasso C (eds.), Topics in Expert System Design, pp 353–376, North-Holland.

Preece AD, 1989, “Verification of rule-based expert systems in wide domains” In: Shadbolt N (ed.), Research and Development in Expert Systems VI: Proc. Expert Systems 89, pp 66–77, Cambridge University Press.

Preece AD, 1990, “Towards a methodology for evaluating expert systems” Expert Systems7(4) 215–223.

Preece AD and Shinghal R, 1991, “Practical approach to knowledge base verification” In: Trivedi M (ed.), Proc. Applications of Artificial Intelligence IX, pp 608–619, SPIE, Bellingham WA.

Preece AD, Shinghal R and Batarekh A, 1992, “Verifying expert systems: a logical framework and a practical tool” Expert Systems with Applications4(2/3).

Puuronen S, 1987, “A tabular rule-checking method” In: Proc. 7th International Workshop on Expert Systems and their Applications, pp 257–268, Paris-La Défense. Agence Inf.

Rousset MC, 1988, “On the consistency of knowledge bases: the COVADIS system” Computational Intelligence4(2) 166–170. (Also in ECAI88, Proc. European Conference on AI Munich, August 1–5 1988, pp 79–84.)

Stachowitz RA and Combs JB, 1987, “Validation of expert systems” In: Proc. 20th Annual Hawaii International Conference on System Sciences, volume 1, pp 686–695.

Stachowitz RA, Combs JB and Chang CL, 1987, “Validation of knowledge-based systems” In: Proc. 2nd AIAA/NASA/USAF Symposium on Automation, Robotics and Advanced Computing for the National Space Program, pp 1–10. Report No. AIAA-87–1685.

Suwa M, Scott AC and Shortliffe EH, 1982, “An approach to verifying completeness and consistency in a rule-based expert system” AI Magazine3(4) 16–21.

VALID, 1988, Validation methods and tools for knowledge-based systems. Deliverable, ESPRIT II VALID Project 2148.

Weilinga B and Schreiber G, 1989, “Future directions in knowledge acquisition” In: Shadbolt N (ed.), Research and Development in Expert Systems VI: Proc. Expert Systems 89, pp 288–301, Cambridge University Press.