TY  - RPRT
TI  - Static and Completion Analysis for Planning Knowledge Base Development and Verification
AU  - Chien, Steve A.
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/20060036822
ID  - 20060036822
ER  -