1. The KADS Methodology: Analysis and Design for Knowledge Based Systems. ESPRIT Project 1098, Report STC-Y-RR-001, STC Technology Limited, February 1987.
2. “On the consistency of knowledge bases: the COVADIS system,” Proc. of ECAI-88, Munich, Germany, 1988, pp. 79–84.
3. , and , Taxonomy of Validation of Knowledge Based Systems, CRI-report, 1989.
4. Issues in the verification of knowledge in rule-based systems