Baruch Schieber Daniel Geist Ayal Zaks Computing the minimum DNF representation of Boolean functions defined by intervals. 154-173 2005 149 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/j.dam.2004.08.009 db/journals/dam/dam149.html#SchieberGZ05