Size of OBDD representation of 2-level redundancies functions. - Macha Nikolskaïa; L. Nikolskaia (Theor. Comput. Sci., 2001)