Eugene Goldberg Determinization of Resolution by an Algorithm Operating on Complete Assignments. 90-95 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_11 db/conf/sat/sat2006.html#Goldberg06