TY  - RPRT
TI  - Synthesizing information-update functions using off-line symbolic processing
AU  - Rosenschein, Stanley J.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910036508
ID  - 19910036508
ER  -