Title: Inference rules for unsatisfiability
First published: 1979
Subjects: Propositional calculus, Inference, Polynomials
LC classification: QA76 .I4 no. 955, QA9.3 .I4 no. 955