Richard Zippel On Satisfiability. 162-169 1996 ISTCS db/conf/istcs/istcs1996.html#Zippel96