@inproceedings{instance1264,
	 title = {{Deduction over Mixed-Level Logic Representations for Text Passage Retrieval}},
	 author = {M Hess},
	 year = {1996},
	 booktitle = {Proceedings of the 1996 International Conference on Tools with Artificial Intelligence (TAI'96)},
	 pages = {383-390},
	 month = {November},
	 address = {Toulouse, France},
	 Date-Added = {2026-08-02 22:38:35},
	 Date-Modified = {2026-08-03 07:48:24}
}