TY  - RPRT
TI  - Expert system validation in prolog
AU  - Stock, Todd
AU  - Stachowitz, Rolf
AU  - Chang, Chin-Liang
AU  - Combs, Jacqueline
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890006204
ID  - 19890006204
ER  -