TY  - RPRT
TI  - Efficient dynamic optimization of logic programs
AU  - Laird, Phil
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19940008416
ID  - 19940008416
ER  -