TY  - RPRT
TI  - Enhancements to the KATE model-based reasoning system
AU  - Thomas, Stan J.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950011768
ID  - 19950011768
ER  -