A graph reduction approach to the validation and verification of production systems

The aim of the paper is to discuss a parallel processing approach to the implementation of rule-based systems and the consequences of utilizing a graph reduction approach in relation to the validation and verification of knowledge-based systems.<
>