TY  - RPRT
TI  - Automating symbolic analysis with CLIPS
AU  - Morris, Keith E.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19960001804
ID  - 19960001804
ER  -