Arist Kojevnikov Alexander S. Kulikov Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. 11-21 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_3 db/conf/sat/sat2006.html#KojevnikovK06