TY  - RPRT
TI  - Inference System Integration Via Logic Morphisms
AU  - Bjorner, Nikolaj S.
AU  - Espinosa, David
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000024845
ID  - 20000024845
ER  -