Richard J. Waldinger, Mark E. Stickel. Proving Properties of Rule-Based Systems. International Journal of Software Engineering and Knowledge Engineering, 2(1):121-144, 1992. [doi]
@article{WaldingerS92,
title = {Proving Properties of Rule-Based Systems},
author = {Richard J. Waldinger and Mark E. Stickel},
year = {1992},
doi = {10.1142/S0218194092000075},
url = {http://dx.doi.org/10.1142/S0218194092000075},
tags = {rule-based, rules, e-science},
researchr = {https://researchr.org/publication/WaldingerS92},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {2},
number = {1},
pages = {121-144},
}