Lawrence J. Henschen, Shamim A. Naqvi. An Improved Filter for Literal Indexing in Resolution Systems. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 525-529, William Kaufmann, 1981.
Abstract is missing.