Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine, 3(4):16-21, 1982.
@article{SuwaSS82,
title = {An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System},
author = {Motoi Suwa and A. Carlisle Scott and Edward H. Shortliffe},
year = {1982},
tags = {rule-based, completeness, rules, consistency, systematic-approach},
researchr = {https://researchr.org/publication/SuwaSS82},
cites = {0},
citedby = {0},
journal = {AI Magazine},
volume = {3},
number = {4},
pages = {16-21},
}