TY  - RPRT
TI  - Algorithm Optimally Orders Forward-Chaining Inference Rules
AU  - James, Mark
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20090020603
ID  - 20090020603
ER  -