Robert J. Hall. Systematic Incremental Validation of Rule-Based Reactive Systems. In KBSE. pages 69-78, 1994.
@inproceedings{Hall94:2, title = {Systematic Incremental Validation of Rule-Based Reactive Systems}, author = {Robert J. Hall}, year = {1994}, tags = {rule-based, rules, incremental, systematic-approach}, researchr = {https://researchr.org/publication/Hall94%3A2}, cites = {0}, citedby = {0}, pages = {69-78}, booktitle = {KBSE}, }