TY  - RPRT
TI  - Deduction over Mixed-Level Logic Representations for Text Passage Retrieval
AU  - Michael Hess
PY  - 1999
DO  - 10.1109/tai.1996.560480
UR  - https://arxiv.org/abs/cs/9912009
ID  - cs/9912009
ER  -