David A. Plaisted. The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability. SIAM Journal on Computing, 9(4):698-705, 1980.
@article{Plaisted80:0, title = {The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability}, author = {David A. Plaisted}, year = {1980}, tags = {rule-based, testing, rules}, researchr = {https://researchr.org/publication/Plaisted80%3A0}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {9}, number = {4}, pages = {698-705}, }