Principles and practice in verifying rule-based systems (1992)

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