TY  - RPRT
TI  - Logic programming and metadata specifications
AU  - Lopez, Antonio M., Jr.
AU  - Saacks, Marguerite E.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920014132
ID  - 19920014132
ER  -