TY  - RPRT
TI  - Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
AU  - VanBaalen, Jeffrey
AU  - Roach, Steven
AU  - Lau, Sonie
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20020061258
ID  - 20020061258
ER  -