Determination of redundancies in a set of patterns (Corresp.)