David A. Plaisted The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability. 698-705 1980 9 SIAM J. Comput. 4 db/journals/siamcomp/siamcomp9.html#Plaisted80 https://doi.org/10.1137/0209054