---
title: "An Improved Filter for Literal Indexing in Resolution Systems"
authors:
  - "Lawrence J. Henschen"
  - "Shamim A. Naqvi"
doi: ""
url: "https://ijcai.org/proceedings/1981/98"
pdf: "https://ijcai.org/proceedings/1981/0098.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "528-531"
track: "Theorem Proving"
keywords:
---

# An Improved Filter for Literal Indexing in Resolution Systems

Lawrence J. Henschen, Shamim A. Naqvi

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 528-531.

## Abstract