Principles and practice in verifying rule-based systems

@article{Preece1992PrinciplesAP,
  title={Principles and practice in verifying rule-based systems},
  author={Alun D. Preece and Rajjan Shinghal and A{\"i}da Batarekh},
  journal={Knowledge Eng. Review},
  year={1992},
  volume={7},
  pages={115-141}
}