Hisayuki Tatsumi Masahiro Miyakawa Masao Mukaidono Upper and Lower Bounds on the Number of Disjunctive Forms. 8 2006 conf/ismvl/2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.44 db/conf/ismvl/ismvl2006.html#TatsumiMM06