TY  - RPRT
TI  - Symbolic Processing Combined with Model-Based Reasoning
AU  - James, Mark
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090011185
ID  - 20090011185
ER  -