Polynomial certificates for propositional classes (2006)

by M Arias, R Khardon, R A Servedio
Venue:Information and Computation