Systematic Incremental Validation of Rule-Based Reactive Systems.

Robert J. Hall Systematic Incremental Validation of Rule-Based Reactive Systems. 69-78 1994 KBSE db/conf/kbse/kbse1994.html#Hall94