Principles and Practice in Verifying Rule-Based Systems (1992)

by A Preece, R Shinghal, A Batarekh
Venue:The Knowledge Engineering Review