Marcel Wild The many benefits of putting stack filters into disjunctive or conjunctive normal form. 174-191 2005 149 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/j.dam.2004.06.027 db/journals/dam/dam149.html#Wild05