Polynomial Certificates for Propositional Classes. - Arias, Marta; Khardon, Roni; Servedio, Rocco A. (2003)