1. A Petri net based approach for verifying the integrity of production systems;Agarwal;International Journal of Man-Machine Studies,1992
2. SYCOJET and SACCO, Two tools for verifying expert systems;Ayel;International Journal of Intelligent Systems,1994
3. Artificial intelligence techniques;Bundy,1997
4. A report on the Expert Systems Validation Associate (EVA);Chang;Experts Systems with Applications,1990
5. Checking knowledge bases for inconsistencies and other anomalies;Charles,1991