Authors: D.Benanav

Citation: D.benanav, Recognizing Unnecessary Clauses in Resolution Based Systems, Journal of automated reasoning , 9(1), 1992, pp. 43-76