TY  - RPRT
TI  - Conjunctive programming: An interactive approach to software system synthesis
AU  - Tausworthe, Robert C.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930013512
ID  - 19930013512
ER  -