Validating dynamic properties of rule-based systems

Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan. Validating dynamic properties of rule-based systems. International Journal of Man-Machine Studies, 44(2):145-169, 1996. [doi]

Abstract

Abstract is missing.