Luzin, S. Y.; Polubasov, O. B. Economical Method of Approximate Minimization of DNF Boolean Functions. TKEA 2004, 14-16.