Extraction of Coverings as Monotone DNF Formulas. - Kouichi Hirata; Ryosuke Nagazumi; Masateru Harao (Discovery Science, 2003)