TY  - RPRT
TI  - Automated Reuse of Scientific Subroutine Libraries through Deductive Synthesis
AU  - Lowry, Michael R.
AU  - Pressburger, Thomas
AU  - VanBaalen, Jeffrey
AU  - Roach, Steven
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20020043178
ID  - 20020043178
ER  -