@Article{Ben92, Author = "Benanav, D.", Year = "1992", Title = "{Recognising Unnecessary Clauses in Resolution Based Systems}", Journal = "Journal of Automated Reasoning", Volume = "9", Number = "1", Pages = "43-76", Comment = "TPTPRef" }