1. , , and , “Checking an expert systems knowledge base for consistency and completeness,” In Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Los Angeles, 1985, Vol. 1, pp. 375–378.
2. A decision-table-based processor for checking completeness and consistency in rule-based expert systems
3. “A tabular rule-checking method,” In Proc. 7th International Workshop on Expert Systems and their Applications, Paris-La Défense, Agence Inf., 1987, pp. 257–268.
4. On the consistency of knowledge bases: the COVADIS system