A token-flow paradigm for verification of rule-based expert systems

Chih-Hung Wu, Shie-Jue Lee. A token-flow paradigm for verification of rule-based expert systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 30(4):616-624, 2000.

Abstract

Abstract is missing.