{"type":"ScholarlyArticle","title":"An Improved Filter for Literal Indexing in Resolution Systems","authors":[{"name":"Lawrence J. Henschen","slug":"lawrence-j-henschen","given":"Lawrence J.","family":"Henschen","affiliation":""},{"name":"Shamim A. Naqvi","slug":"shamim-a-naqvi","given":"Shamim A.","family":"Naqvi","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1981/98","pdf":"https://ijcai.org/proceedings/1981/0098.pdf","markdown":"https://ijcai.org/proceedings/1981/98.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/98","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":98,"pages":{"first":528,"last":531},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}