TY  - RPRT
TI  - Verification issues for rule-based expert systems
AU  - Culbert, Chris
AU  - Riley, Gary
AU  - Savely, Robert T.
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19880006979
ID  - 19880006979
ER  -