@misc{indiciaeaf259d7544b1,
  title = {Deduction over Mixed-Level Logic Representations for Text Passage Retrieval},
  author = {Michael Hess},
  year = {1999},
  doi = {10.1109/tai.1996.560480},
  url = {https://arxiv.org/abs/cs/9912009},
  note = {Source identifier: cs/9912009}
}