TY  - RPRT
TI  - A General Framework for Modal Deduction
AU  - Frisch, Alan M.
AU  - Scherl, Richard B.
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19970001663
ID  - 19970001663
ER  -