TY  - RPRT
TI  - Compiling knowledge-based systems from KEE to Ada
AU  - Filman, Robert E.
AU  - Bock, Conrad
AU  - Feldman, Roy
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900018018
ID  - 19900018018
ER  -