Matthias P. Krieger On the Incompressibility of Monotone DNFs. 32-43 2005 conf/fct/2005 FCT http://dx.doi.org/10.1007/11537311_4 db/conf/fct/fct2005.html#Krieger05