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]

@article{PreeceGR96,
  title = {Validating dynamic properties of rule-based systems},
  author = {Alun D. Preece and Clifford Grossner and Thiruvengadam Radhakrishnan},
  year = {1996},
  doi = {10.1006/ijhc.1996.0008},
  url = {http://dx.doi.org/10.1006/ijhc.1996.0008},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/PreeceGR96},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Man-Machine Studies},
  volume = {44},
  number = {2},
  pages = {145-169},
}