An Improved Filter for Literal Indexing in Resolution Systems

Henschen and Naqvi. "An Improved Filter for Literal Indexing in Resolution Systems." International Joint Conference on Artificial Intelligence, 1981.

[Henschen and Naqvi. "An Improved Filter for Literal Indexing in Resolution Systems." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/henschen1981ijcai-improved/)

@inproceedings{henschen1981ijcai-improved,
  title     = {{An Improved Filter for Literal Indexing in Resolution Systems}},
  author    = {Henschen, Lawrence J. and Naqvi, Shamim A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {525-529},
  url       = {https://mlanthology.org/ijcai/1981/henschen1981ijcai-improved/}
}