7Suwa M, Scott S C, Shordiffe E H. An approach to verifying completeness and consistency in rule-based expert systems[J]. Artificial Intelligence Magazine, 1982,3(4):16.
8Cragun B J, Steudel H J. A decision-table-based processor for checking completeness and consistency in rule-based expert systems[J]. International Journal of Man-Machine Studies, 1987,26(5):633.
9Valiente G. A technique for knowledge base verification[J]. International Journal of Expert Systems,1993,6(3) :41.
10Hutter D, Langenstein B, Rock G, et al. Formal software development in verification support environment[J]. Journal of Experimental and Theoretical AI,2000(12) :383.