TY  - RPRT
TI  - Reasoning about procedural knowledge
AU  - Georgeff, M. P.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19860026670
ID  - 19860026670
ER  -