Extending Polynomial Calculus to $k$-DNF Resolution.

Nicola Galesi Massimo Lauria Extending Polynomial Calculus to $k$-DNF Resolution. 2007 14 Electronic Colloquium on Computational Complexity (ECCC) http://eccc.hpi-web.de/eccc-reports/2007/TR07-041/index.html 041 db/journals/eccc/eccc14.html#GalesiL07