1. E.N. Hanson, The design and implementation of the Ariel active database rule system, Technical Report UF-CIS-018-92, Department of Computer and Information Sciences, University of Florida, 1991.
2. Eliminating redundancy, inconsistency, and incompleteness in rule-based systems;Gamble;International Journal of Software Engineering and Knowledge Engineering,1996
3. A survey of tools for the verification and validation of KBS—1985–95;Murrell;Decision Support Systems,1997
4. R.T. Plant, Validation and verification of knowledge-based systems, Workshop Notes AAAI. 1994, Seattle, WA, 1994.
5. R.F. Gamble, C. Landauer, Validation and verification of knowledge-based systems, Workshop Notes IJCAI-95, Montreal, Que. Canada, 1995.