TY  - RPRT
TI  - Dispositional logic
AU  - Le Balleur, J. C.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890037259
ID  - 19890037259
ER  -