"Resolution with Limited Factoring."

Dafa Li (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics